By Hahn Ernst   Hartmanns Arnd   Hermanns Holger   Katoen Joost-Pieter   in Formal Methods in System Design

ISSN:0925-9856|43|2|191-232

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 9.909498

By Mader Angelika   Bohnenkamp Henrik   Usenko Yaroslav   Jansen David   Hurink Johann   Hermanns Holger   in International Journal on Software Tools for Technology Transfer

ISSN:1433-2779|12|5|305-318

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 7.927599