Original language | English |
---|---|
Pages (from-to) | 16-22 |
Journal | Lecture Notes in Computer Science |
Volume | 5850 |
DOIs | |
Publication status | Published - 2009 |
Bibliographical note
Proceedings title: Proc. 16th Symposium on Formal Methods - FM'09Publisher: Springer
N. Bonzanni, K.A. Feenstra, W.J. Fokkink, E. Krepska
Research output: Contribution to Journal › Article › Academic › peer-review
Original language | English |
---|---|
Pages (from-to) | 16-22 |
Journal | Lecture Notes in Computer Science |
Volume | 5850 |
DOIs | |
Publication status | Published - 2009 |