Original language | English |
---|---|
Title of host publication | Proceedings of the 8th International Conference on Formal Methods (ICFEM06) |
Publisher | Springer |
Pages | 639-659 |
Volume | 4260 |
Publication status | Published - 2006 |
MoE publication type | A4 Article in a conference publication |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 4260 |