APA (7th ed.) Citation

Brim, L. Component-interaction automata as a verification-oriented component-based system specification. Software engineering notes..

Chicago Style (17th ed.) Citation

Brim, Lubo?. "Component-interaction Automata as a Verification-oriented Component-based System Specification." Software Engineering Notes. .

MLA (9th ed.) Citation

Brim, Lubo?. "Component-interaction Automata as a Verification-oriented Component-based System Specification." Software Engineering Notes., .

Warning: These citations may not always be 100% accurate.