Language
Publisher
- All ( )
- Free, open source ( )
5Result(s)for '"Baier Christel"'
Resource list
By Baier Christel Kwiatkowska Marta in Formal Methods in System Design
ISSN:0925-9856|43|2|121-123
Springer Publishing Company (2013)
Access to resources Favorite 16.088388
By Ossowski Jörn Baier Christel in International Journal on Software Tools for Technology Transfer
ISSN:1433-2779|10|5|425-441
Springer Publishing Company (2008)
Access to resources Favorite 15.085634
By Lampka Kai Siegle Markus Ossowski Joern Baier Christel in Formal Methods in System Design
ISSN:0925-9856|36|3|198-222
Springer Publishing Company (2010)
Access to resources Favorite 10.055243
By Arbab Farhad Baier Christel Boer Frank Rutten Jan in Software and Systems Modeling (SoSyM)
ISSN:1619-1366|6|1|59-82
Springer Publishing Company (2007)
Access to resources Favorite 10.055243
By Baier Christel;Katoen Joost-Pieter;Larsen Kim Guldstrand
ISBN:9780262267564
MIT Press(2008)
Access to resources Favorite 10.055243