Concepedia

Jǐŕı Barnat

JB

Statistics

Publications

13

Citations

384

H-Index

11

Active since

2001

Affiliations

Masaryk University(Current)

Jǐŕı Barnat is an author at Masaryk University specializing in model checking, computer science, and computing.

ORCID

Publications per year

2001–2013

13

Publications

13