@inbook{ GUTIERREZ_Gea-Megias_TORRES:0-0,
author = { FRANCISCO LUIS GUTIERREZ VELA and Miguel Gea-Megias and JUAN CARLOS TORRES CANTERO } ,
title = { VERIFICATION OF INTERACTIVE SYSTEMS USING ALGEBRAIC SPECIFICATION },
booktitle = { SUPPLEMENTARY PROCEEDINGS OF THE 5TH WORKSHOP ON DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS },
publisher = { DESCONOCIDA },
year = { 1998 },
}