Brim, L. Component-interaction automata as a verification-oriented component-based system specification. Software engineering notes..
Cita Chicago (17th ed.)Brim, Lubo?. "Component-interaction Automata as a Verification-oriented Component-based System Specification." Software Engineering Notes. .
Cita MLA (9th ed.)Brim, Lubo?. "Component-interaction Automata as a Verification-oriented Component-based System Specification." Software Engineering Notes., .
Atenció: Aquestes cites poden no estar 100% correctes.