Statistics
Publications
1
Citations
160
H-Index
1
Active since
2007
Affiliations
Uppsala University(Current)
Pavel Krčál is an author at Uppsala University specializing in formal methods, verification, and formal verification.
Publications per year
2007–2007
1
1
Task automata: Schedulability, decidability and undecidability
Elena Fersman, Pavel Krčál, Paul Pettersson et al. · Information and Computation · 2007 · 160 citations
1–1 of 1