By Bouyer Patricia   in Formal Methods in System Design

ISSN:0925-9856|24|3|281-320

Springer Publishing Company ‎(2004)‎

Access to resources Favorite 18.058756

By Bouyer Patricia   in Journal of Logic, Language and Information

ISSN:0925-8531|20|2|169-203

Springer Publishing Company ‎(2011)‎

Access to resources Favorite 18.058756

By Behrmann Gerd   Bouyer Patricia   Larsen Kim   Pelánek Radek   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|8|3|204-215

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 9.029378