Pavel Krčál

2002

Jiří Barnat, Tomáš Brázdil, Pavel Krčál, Vojtěch Řehák, and David Šafránek:
Model Checking in IPv6 Hardware Router Design,
2002, 8. [bibtex]

Jitka Crhová, Pavel Krčál, Jan Strejček, David Šafránek, and Pavel Šimeček:
YAHODA: verification tools database,
Proceedings of Tools Day, FI MU, 2002, 99-103. [bibtex, url]

2001

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection,
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings, Springer Verlag, 2001, 96–107. [bibtex]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
Distributed Shortest Paths for Directed Graphs with Negative Edge Lengths ,
2001. [bibtex, pdf]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
How to Employ Reverse Search in Distributed Single-Source Shortest Paths ,
2001. [bibtex, pdf]

Luboš Brim, Ivana Černá, Pavel Krčál, and Radek Pelánek:
How to Employ Reverse Search in Distributed Single-Source Shortest Paths,
SOFSEM’01, Springer Verlag, 2001, 191–200. [bibtex]