Filtrování

    2008

    1. 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
Zobrazit podrobně