Výpis publikací

2007

1. Model Checking Large Finite-State Systems and Beyond

   BRIM, Luboš a Mojmír KŘETÍNSKÝ. Model Checking Large Finite-State Systems and Beyond. In 33rd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer-Verlag, 2007, s. 9-28. ISBN 978-3-540-69506-6.

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