Towards a Logic for Abstract Meta-Finite State Machines

Autoren Q. Wang
Klaus-Dieter Schewe
Editoren S. Hartmann
G. Kern-Isberner
TitelTowards a Logic for Abstract Meta-Finite State Machines
BuchtitelFoundations of Information and Knowledge Systems - Proc. FoIKS 2008
Typin Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band4932
Jahr2008
Seiten365-380