Language
Publisher
Subjects
-
All (
) -
Free, open source ( )
2Result(s)for '"Kučera Antonín"'
Resource list
By Brázdil Tomáš Kučera Antonín Stražovský Oldřich in Acta Informatica
ISSN:0001-5903|45|2|131-154
Springer Publishing Company (2008)
Access to resources
Favorite
12.342052
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
11.406221