Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2008

    1. Shared Hash Tables in Parallel Model Checking
      BARNAT, Jiří a Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, roč. 2008, 198(1), s. 79-91, 12 s. ISSN 1571-0661.
      Podrobněji: https://is.muni.cz/publication/760855/cs

    2007

    1. Shared Hash Tables in Parallel Model Checking
      BARNAT, Jiří a Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. CTIT Workshop Proceedings. University of Twente: CTIT, 2007, roč. 2007, WP 07-04, s. 81-95. ISSN 0929-0672.
      Podrobněji: https://is.muni.cz/publication/722757/cs
Zobrazit podrobně
Zobrazeno: 27. 4. 2024 05:27