Filtrování

    2007

    1. Scalable Multi-core LTL Model-Checking D - Stať ve sborníku
      BARNAT, Jiří; Luboš BRIM a Petr ROČKAI. Scalable Multi-core LTL Model-Checking. In Model Checking Software. 1. vyd. Berlin, Heidelberg: Springer-Verlag, 2007, s. 187-203. ISBN 978-3-540-73369-0.
      Název česky: Škálovatelné LTL ověřování modelu s využitím multi-core
      Název anglicky: Scalable Multi-core LTL Model-Checking
      RIV/00216224:14330/07:00019427 Stať ve sborníku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Ročkai, Petr (703 Slovensko)
      Klíčová slova anglicky: Parallel LTL Model Checking; multi-core
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Typ záznamu: Stať ve sborníku
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 2. 6. 2009 10:44.
      Podrobněji: https://is.muni.cz/publication/720747/cs