Language
Publisher
Subjects
Publication date
-
All (
)
-
Free, open source (
)
1Result(s)for '"Mazzucchi Michele"'
Resource list
By Basler Gérard Mazzucchi Michele Wahl Thomas Kroening Daniel in Formal Methods in System Design
ISSN:0925-9856|36|3|223-245
Springer Publishing Company (2010)
Access to resources
Favorite
10.117794