"Parallel Model-Checking"@en . "Paraleln\u00ED ov\u011B\u0159ov\u00E1n\u00ED modelu"@cs . "A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given." . "Paraleln\u00ED ov\u011B\u0159ov\u00E1n\u00ED modelu"@cs . . "Brim, Lubo\u0161" . "Parallel Model-Checking"@en . . "A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given."@en . "P(GA201/03/0509), Z(MSM 143300001)" . "Paraleln\u00ED ov\u011B\u0159ov\u00E1n\u00ED modelu" . "June" . . "A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given."@cs . "Model Checking"@en . "RIV/00216224:14330/04:00010182" . . "1"^^ . . . . . "1"^^ . "ERCIM News" . "0926-4981" . "58" . . . . "[A95F8AED088C]" . "2"^^ . "RIV/00216224:14330/04:00010182!RIV08-MSM-14330___" . . . "578824" . . "35-36" . "Paraleln\u00ED ov\u011B\u0159ov\u00E1n\u00ED modelu" . . "CZ - \u010Cesk\u00E1 republika" . "14330" .