Towards a Logic for Abstract Meta-Finite State Machines

Q. Wang. Towards a Logic for Abstract Meta-Finite State Machines. volume 4932, pages 365-380, 2008.

Autoren
  • Q. Wang
BuchFoundations of Information and Knowledge Systems - Proc. FoIKS 2008
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band4932
Jahr2008
Seiten365-380