Pavlína Vareková

The CoIn Tool: Modelling and Verification of Interactions inComponent-Based Systems

Jiří Sochor, Nikola Beneš, Ivana Černá, 2008 .

Partial order reduction for state/event LTL with application to component-interaction automata

L. Brim, N. Beneš, B. Buhnova, 2011, Sci. Comput. Program..

Partial Order Reduction for State/Event LTL

Lubos Brim, Pavlína Vareková, Ivana Cerná, 2009, IFM.