Original language | English |
---|---|
Pages (from-to) | 164-179 |
Journal | Lecture Notes in Computer Science |
Volume | 6371 |
DOIs | |
Publication status | Published - 2010 |
Bibliographical note
Proceedings title: Proc. 15th Workshop on Formal Methods for Industrial Critical Systems - FMICS'10Publisher: Springer