APA Citation

O'Reilly, L., & Roggenbach, M. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems.

Chicago Style Citation

O'Reilly, Liam, and Markus Roggenbach. AVoCS'09 - PreProceedings of the Ninth International Workshop On Automated Verification of Critical Systems. 2009.

MLA Citation

O'Reilly, Liam, and Markus Roggenbach. AVoCS'09 - PreProceedings of the Ninth International Workshop On Automated Verification of Critical Systems. 2009.

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