Masaryk University

Publication Records

česky | in English

Filter publications

    2007

  1. 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.
  2. 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.
  3. 1999

  4. 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.
  5. 1998

  6. 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.
  7. 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.
  8. 1997

  9. 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.
Display details
Displayed: 28. 9. 2020 02:46