Statistics
Publications
1
Citations
33
H-Index
1
Active since
2004
Affiliations
Masaryk University(Current)
J. Barnat is an author at Masaryk University specializing in computing, computer science, and parallel search.
Publications per year
2004–2004
1
1
Parallel breadth-first search LTL model-checking
J. Barnat, Luboš Brim, Jakub Chaloupka · 2004 · 33 citations
1–1 of 1