Model Checking of Transition-Labeled Finite-State Machines

File Size Format
73659_1.pdf 511Kb Adobe PDF View
Title Model Checking of Transition-Labeled Finite-State Machines
Author Estivill-Castro, Vladimir; Rosemblueth, David
Year Published 2011
Publisher Springer-Verlag
Citation Communications in Computer and Information Science, Vol. 257, pp. 61-73
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1007/978-3-642-27207-3_8
Copyright Statement Copyright 2011 Springer-Verlag GmbH Berlin Heidelberg. This is an electronic version of an article published in Communications in Computer and Information Science, Vol. 257, pp. 61-73, 2011. Communications in Computer and Information Science is available online at: http://www.springerlink.com/ with the open URL of your article.
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Journal Articles (Refereed Article)

Show full item record

Griffith University copyright notice