Language
Publisher
Subjects
Publication date
- All ( )
- Free, open source ( )
1Result(s)for '"Mikeev Linar"'
Resource list
By Mikeev Linar Neuhäußer Martin Spieler David Wolf Verena in Formal Methods in System Design
ISSN:0925-9856|43|2|313-337
Springer Publishing Company (2013)
Access to resources Favorite 14.26012