Filtrování

    2008

    1. Charakteristiky konkurenceschopnosti podniků
      PIROŽEK, Petr a Lenka KOMÁRKOVÁ. Charakteristiky konkurenceschopnosti podniků. In VÝVOJOVÉ TENDENCE PODNIKŮ IV. svazek I. Brno: Masarykova univerzita, 2008, s. 239 - 254. ISBN 978-80-210-4723-5.
      Podrobněji: https://is.muni.cz/publication/786915/cs
    2. I/O Efficient Model Checking
      ŠIMEČEK, Pavel. I/O Efficient Model Checking. In Alpine Verification Meeting 2008. 2008.
      Podrobněji: https://is.muni.cz/publication/795899/cs
    3. 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
    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 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
Zobrazit podrobně