@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.26