Original language | English |
---|---|
Title of host publication | Proceedings of CALCO 2009 |
Editors | Alexander Kurz, Andzrej Tarlecki |
Publisher | Springer-Verlag |
Pages | 317-334 |
Number of pages | 18 |
Volume | 5728 |
Publication status | Published - 2009 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |