By Lüttgen Gerald   Vogler Walter   in RAIRO - Theoretical Informatics and Applications

ISSN:0988-3754|39|3|587-618

Edp Sciences‎(2010)‎

Access to resources Favorite 16.200071

By Ciardo Gianfranco   Lüttgen Gerald   Miner Andrew   in Formal Methods in System Design

ISSN:0925-9856|31|1|63-100

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 13.004984