| Author(s) |
Q. Wang
Klaus-Dieter Schewe
|
| Title |
Towards a Logic for Abstract Meta-Finite State Machines |
| Booktitle |
Foundations of Information and Knowledge Systems - Proc. FoIKS 2008 |
| Typ |
Inproceedings |
| Year |
2008 |
| Volume |
4932 |
| Serie |
Lecture Notes in Computer Science |
| Pages |
365-380 |
| Editor(s) |
S. Hartmann, G. Kern-Isberner |
| Publisher |
Springer |