Distributed Explicit Fair Cycle Detection

Základní údaje

Originální název Distributed Explicit Fair Cycle Detection
Autoři

Další údaje

Citace ČERNÁ, Ivana a Radek PELÁNEK. Distributed Explicit Fair Cycle Detection. In SPIN Workshop 2003. Portland (Oregon, USA): Springer-Verlag, 2003. s. 49-74, 25 s. ISBN 3-540-40117-2.
Originální název angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova distributed model checking; cycle detection

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

Další info