J. C. Campos and M. D. Harrison
From Interactors to SMV: A Case Study in the Automated Analysis of Interactive Systems
Technical Report YCS-99-317, Department of Computer Science, University of York. 1999.

download PDF 

@TECHREPORT{CamposH99a,
 author = {J. C. Campos and M. D. Harrison},
 title = {From Interactors to SMV: A Case Study in the Automated Analysis of Interactive Systems},
 institution = {Department of Computer Science, University of York},
 year = {1999},
 number = {YCS-99-317},
 paperurl = {http://www.cs.york.ac.uk/ftpdir/reports/99/YCS/317/YCS-99-317.pdf}
}

Generated by mkBiblio 2.6.28