Výpis publikací

2008

1. Semi-external LTL Model Checking

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

   Podrobněji: https://is.muni.cz/publication/779442/cs
2. 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 a Peter SANDERS. Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008. ISBN 978-80-7355-082-0.

   Podrobněji: https://is.muni.cz/publication/795896/cs