Publication Records

BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering. [New York, N.Y.?]: ACM, 2006, vol. 31, No 2, p. 1-8. ISSN 0163-5948.

BRIM, Luboš, Ivana ČERNÁ, Pavlína VAŘEKOVÁ and Barbora ZIMMEROVÁ. Component-Interaction Automata as a Verification-Oriented Component-Based System Specification. In Proceedings of SAVCBS 2005. Ames, USA: Department of Computer Science, Iowa State University, 2005, p. 31-38.