Language
Publisher
Subjects
Publication date
- All ( )
- Free, open source ( )
2Result(s)for '"Kiefer Stefan"'
Resource list
By Kiefer Stefan Murawski Andrzej Ouaknine Joël Wachter Björn Worrell James in Formal Methods in System Design
ISSN:0925-9856|43|2|285-312
Springer Publishing Company (2013)
Access to resources Favorite 7.513321
By Brázdil Tomáš Esparza Javier Kiefer Stefan Kučera Antonín in Formal Methods in System Design
ISSN:0925-9856|43|2|124-163
Springer Publishing Company (2013)
Access to resources Favorite 7.513321