-
BARNAT, Jiří; Luboš BRIM and 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, p. 106-115. ISBN 0-7695-2035-9.
RIV/00216224:14330/03:00008593 Proceedings paper. Informatics. English. Canada.
Barnat, Jiří (203 Czech Republic, guarantor) -- Brim, Luboš (203 Czech Republic) -- Chaloupka, Jakub (203 Czech Republic)
Keywords in English: model checking; parallel algorithm; breadth first search
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 1/6/2009 21:17.