"D\u00FCsseldorf, Germany" . . "Brim, Lubo\u0161" . "332737" . . "9783642002540" . . "[728A4D97769E]" . "Proceedings of the International Conference on Integrated Formal Methods (IFM'09)" . . . "Zimmerov\u00E1, Barbora" . "P(1ET400300504), P(1ET408050503), Z(MSM0021622419)" . . . "RIV/00216224:14330/09:00065770" . "0302-9743" . . "Partial Order Reduction for State/Event LTL"@en . . . . . "Berlin / Heidelberg, Germany" . . "The main contribution of the paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of sttuttering equivalence which we call state/event stuttering equivalence." . "Partial Order Reduction for State/Event LTL" . . . . "14330" . "\u010Cern\u00E1, Ivana" . . "Va\u0159ekov\u00E1, Pavl\u00EDna" . "000264553400021" . "Bene\u0161, Nikola" . "RIV/00216224:14330/09:00065770!RIV14-MSM-14330___" . "Springer-Verlag" . "15"^^ . "Partial Order Reduction for State/Event LTL"@en . "10.1007/978-3-642-00255-7_21" . "Partial order reduction; state/event LTL; formal verification"@en . "Partial Order Reduction for State/Event LTL" . "2009-02-16+01:00"^^ . . . "The main contribution of the paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of sttuttering equivalence which we call state/event stuttering equivalence."@en . . "Sochor, Ji\u0159\u00ED" . . "6"^^ . . . "6"^^ . .