Local Distributed Model Checking of RegCTL

Základní údaje

Originální název Local Distributed Model Checking of RegCTL
Autoři

Další údaje

Citace ČERNÁ, Ivana a Tomáš BRÁZDIL. Local Distributed Model Checking of RegCTL. In PDMC 2002 Parallel and Distributed Model Checking. The Netherlands: Elsevier Science Publishers, 2002. s. 1-14. ISBN 0444512918.
Originální název angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova model checking

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info