@inproceedings{ GUTIERREZ_GEA_TORRES:369-384,

author = { FRANCISCO LUIS GUTIERREZ VELA and MIGUEL GEA MEGIAS and JUAN CARLOS TORRES CANTERO } ,

title = { VERIFICATION OF INTERACTIVE SYSTEM USING ALGEBRAIC SPECIFICATION },

booktitle = { DSVIS 98 (5.1998.ABINGDON (UK)) },

year = { 1998 },

pages = { 369 - 384 },

location = { ABINGDON (UK) },

}