Towards a Logic for Abstract Meta-Finite State Machines

Autoren Q. Wang
Klaus-Dieter Schewe
Editoren S. Hartmann
G. Kern-Isberner
Titel Towards a Logic for Abstract Meta-Finite State Machines
Buchtitel Foundations of Information and Knowledge Systems - Proc. FoIKS 2008
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 4932
Jahr 2008
Seiten 365-380