Publication Records

VAŘEKOVÁ, Pavlína, Pavel MORAVEC, Ivana ČERNÁ and Barbora ZIMMEROVÁ. Effective verification of systems with a dynamic number of components. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007, p. 3-13. ISBN 978-1-59593-721-6.

VAŘEKOVÁ, Pavlína and Barbora ZIMMEROVÁ. Subject-observer specification with component-interaction automata. In Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. New York, NY, USA: ACM Press, 2007, p. 75-81. ISBN 978-1-59593-721-6.

KUČERA, Antonín and Mayr RICHARD. Simulation Preorder on Simple Process Algebras. Technical Report TUM. Germany: Technical University Munich, 1999, vol. 1999, TUM-I9902, p. 1-23.

JANČAR, Petr, Antonín KUČERA and Mayr RICHARD. Deciding Bisimulation-Like Equivalences with Finite-State Processes. Technical Report TUM. Germany: Technical University Munich, 1998, vol. 1998, TUM-I9805, p. 1-24.

KUČERA, Antonín and Mayr RICHARD. Weak Bisimilarity with Infinite-State Systems can be Decided in Polynomial Time. Technical Report TUM. Germany: Technical University Munich, 1998, vol. 1998, TUM-I9830, p. 1-28.

JANČAR, Petr and Antonín KUČERA. Bisimilarity of Processes with Finite-state Systems. FI MU Report Series. Brno: FI MU, 1997, vol. 1997, RS-97-02, p. 1-19.