Filtrování

    2008

    1. I/O Efficient Model Checking
      ŠIMEČEK, Pavel. I/O Efficient Model Checking. In Alpine Verification Meeting 2008. 2008.
      AVM 2008 web page
      Název česky: I/O-efektivní ověřování modelů
      Název anglicky: I/O Efficient Model Checking
      Informatika. angličtina. Rakousko.
      Klíčová slova anglicky: external; I/O efficient; model checking; external memory
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Změnil: RNDr. Pavel Šimeček, Ph.D., učo 51636. Změněno: 25. 11. 2008 14:06.
      Podrobněji: https://is.muni.cz/publication/795899/cs