Publication

Language

Publisher

Subjects

Publication date

1Result(s)for '"Brim Luboš"'
Sort
Total 1 item(s)

Resource list

By Brim Luboš   Leucker Martin   in Formal Methods in System Design

ISSN:0925-9856|29|2|115-116

Springer Publishing Company ‎(2006)‎

Access to resources Favorite 18.748665

 

Total 1 item(s)