 |
|
|||
| Editor: | |
| Group: | Computer Engineering |
| Type: | Proceedings |
| Title: | International Workshop on Abstract State Machines, Theory and Applications (ASM 2000) |
| Year: | 2000 |
| Month: | March |
| Pub-Key: | GKOT00 |
| Publisher: | Lecture Notes in Computer Science 1912, Springer-Verlag |
| Resources: | [BibTeX] |
