Original language | English |
---|---|
Pages (from-to) | 122-136 |
Journal | Lecture Notes in Computer Science |
Volume | 5504 |
DOIs | |
Publication status | Published - 2009 |
Event | FoSSaCS'09 - Duration: 1 Jan 2009 → 1 Jan 2009 |
Bibliographical note
Proceedings title: Proccedings 12th Conference on Foudations of Software Science and Computational StructuresPublisher: Springer