Filtrování

    2004

    1. Using Accepting Predecessors in Distributed LTL Model-Checking D - Stať ve sborníku
      MORAVEC, Pavel. Using Accepting Predecessors in Distributed LTL Model-Checking. In MOVEP'04: 6th school on MOdeling and VErifying parallel Processes. Bruxelles, Belgium: Universite Libre de Bruxelles, 2004, s. 122-129, 7 s.
      Název česky: Použití akceptujících předchůdců u distribuovaného ověřování LTL vlastností modelu
      RIV/00216224:14330/04:00011071 Stať ve sborníku. Informatika. angličtina. Belgie.
      Moravec, Pavel (203 Česká republika, garant)
      Klíčová slova anglicky: LTL model checking; distributed algorithm
      Typ záznamu: Stať ve sborníku
      Změnil: Mgr. Pavel Moravec, Ph.D., učo 39589. Změněno: 1. 4. 2005 09:08.
      Podrobněji: https://is.muni.cz/publication/569568/cs