@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 },

}