By Hesselink Wim   in Acta Informatica

ISSN:0001-5903|44|2|123-151

Springer Publishing Company ‎(2007)‎

Access to resources Favorite 19.73006

By Hesselink Wim   in Acta Informatica

ISSN:0001-5903|43|3|195-222

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 19.73006

By Hesselink Wim   IJbema Mark   in Formal Aspects of Computing

ISSN:0934-5043|25|6|947-969

Springer Publishing Company ‎(2013)‎

Access to resources Favorite 15.784049

By Hesselink Wim   Lali M.   in Formal Methods in System Design

ISSN:0925-9856|36|2|148-166

Springer Publishing Company ‎(2010)‎

Access to resources Favorite 14.797454