Statistics
Publications
1
Citations
95
H-Index
1
Active since
2001
Affiliations
Masaryk University(Current)
Jitka Stříbrná is an author at Masaryk University specializing in computer science, computing, and distributed computing.
Publications per year
2001–2001
1
1
Distributed LTL model-checking in SPIN
Jǐŕı Barnat, Luboš Brim, Jitka Stříbrná · 2001 · 95 citations
1–1 of 1