Výpis publikací

2005

1. How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking

   MORAVEC, Pavel. How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking. In 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Znojmo, Czech Republic: FI MU Report Series, 2005, s. 186-192.

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