Book 1422 views
AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems
Markus Roggenbach 
Electronic Communications of the EASST, Volume: 23, Start page: 262 pp.
Swansea University Author:
Markus Roggenbach
Abstract
AVoCS'09 - Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems
| Published in: | Electronic Communications of the EASST |
|---|---|
| Published: |
2009
|
| Online Access: |
http://journal.ub.tu-berlin.de/index.php/eceasst/issue/view/32 |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa193 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
262 pp. |