Publication Records

2008

1. Charakteristiky konkurenceschopnosti podniků (Business Environment Characteristics)

   PIROŽEK, Petr and Lenka KOMÁRKOVÁ. Charakteristiky konkurenceschopnosti podniků (Business Environment Characteristics). In VÝVOJOVÉ TENDENCE PODNIKŮ IV. svazek I. Brno: Masarykova univerzita, 2008, p. 239 - 254. ISBN 978-80-210-4723-5.

   More: https://is.muni.cz/publication/786915/en
2. I/O Efficient Model Checking

   ŠIMEČEK, Pavel. I/O Efficient Model Checking. In Alpine Verification Meeting 2008. 2008.

   More: https://is.muni.cz/publication/795899/en
3. Semi-external LTL Model Checking

   EDELKAMP, Stefan, Peter SANDERS and Pavel ŠIMEČEK. Semi-external LTL Model Checking. In 20th International Conference on Computer Aided Verification. Berlin, Heidelberg: Springer, 2008, p. 530-542. ISBN 978-3-540-70543-7.

   More: https://is.muni.cz/publication/779442/en
4. Semi-External LTL Model Checking

   ŠIMEČEK, Pavel. Semi-External LTL Model Checking. Co-authors of the original paper in CAV 2008 proceedings. In EDELKAMP, Stefan and Peter SANDERS. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008. ISBN 978-80-7355-082-0.

   More: https://is.muni.cz/publication/795896/en