Searching for authors named "Jiri Barnat" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Distributed ltl model-checking in spin
by Jiri Barnat, Lubos Brim — 2001
…Distributed LTL Model-Checking in SPIN ⋆ Jiri Barnat 1 , Lubos Brim 1 , and Jitka Stˇríbrná 2 1…
Cited by 31 (8 self) – Add To MetaCart

Distribution of Explicit-State LTL Model-Checking
by Lubos Brim, Jiri Barnat — 2003
…ˇrí Barnat 3 Faculty of Informatics, Masaryk University, Brno, Czech Republic We give a brief summary…
Cited by 2 (0 self) – Add To MetaCart

Property Driven Distribution of Nested DFS
by Jiri Barnat, Lubos Brim, Ivana Cerna — 2002 — University of Southampton, UK
…Property Driven Distribution of Nested DFS ? Jir Barnat, Lubos Brim, and Ivana Cerna Faculty…
Cited by 14 (6 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB