Original language | English |
---|---|
Pages (from-to) | 425-446 |
Journal | Lecture Notes in Computer Science |
Volume | 4624 |
Publication status | Published - 2007 |
Bibliographical note
Rut07Proceedings title: Proceedings of CALCO 2007
Publisher: Springer
Editors: T. Mossakowski, U. Montanari, M. Haveraaen