-
BARNAT, Jiří; Luboš BRIM a Jakub CHALOUPKA. Parallel Breadth-First Search LTL Model-Checking. In 18th IEEE International Conference on Automated Software Engineering (ASE'03). Montreal: IEEE Computer Society, 2003, s. 106-115. ISBN 0-7695-2035-9.
RIV/00216224:14330/03:00008593 Stať ve sborníku. Informatika. angličtina. Kanada.
Barnat, Jiří (203 Česká republika, garant) -- Brim, Luboš (203 Česká republika) -- Chaloupka, Jakub (203 Česká republika)
Klíčová slova anglicky: model checking; parallel algorithm; breadth first search
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 21:17.Podrobněji: https://is.muni.cz/publication/489814/cs