Roggenbach, M. (2009). AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems. Electronic Communications of the EASST, 23, p. 262 pp..
Chicago Style CitationRoggenbach, Markus. "AVoCS'09 - Proceedings of the Ninth International Workshop On Automated Verification of Critical Systems." Electronic Communications of the EASST 23 (2009): 262 pp..
MLA CitationRoggenbach, Markus. "AVoCS'09 - Proceedings of the Ninth International Workshop On Automated Verification of Critical Systems." Electronic Communications of the EASST 23 (2009): 262 pp..
Warning: These citations may not always be 100% accurate.