Towards a Logic for Abstract Meta-Finite State Machines

Authors Q. Wang
Klaus-Dieter Schewe
Editors S. Hartmann
G. Kern-Isberner
Title Towards a Logic for Abstract Meta-Finite State Machines
Booktitle Foundations of Information and Knowledge Systems - Proc. FoIKS 2008
Type in proceedings
Publisher Springer
Series Lecture Notes in Computer Science
Volume 4932
Year 2008
Pages 365-380