Original language | English |
---|---|
Pages (from-to) | 160-166 |
Journal | Lecture Notes in Computer Science |
Volume | 5140 |
Publication status | Published - 2008 |
Bibliographical note
DBLP:conf/amast/FokkinkKLU08Proceedings title: Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings
Publisher: Springer
Editors: J. Meseguer, G. Rosu