TY  - BOOK
ID  - deploy330
UR  - http://deploy-eprints.ecs.soton.ac.uk/330/
A1  - Bendisposto, Jens
A1  - Jones, Cliff
A1  - Leuschel, Michael
A1  - Romanovsky, Alexander
Y1  - 2011/09//
N2  - This volume contains the proceedings of the 11th workshop on Automated Verification of Critical Systems that was hosted by Newcastle University and took place during September 12-14, 2011 in Newcastle upon Tyne, UK. The workshop is supported by DEPLOY.
PB  - Newcastle University
ED  - Bendisposto, Jens
ED  - Jones, Cliff
ED  - Leuschel, Michael
ED  - Romanovsky, Alexander
TI  - Proceedings of the 11th workshop on Automated Verification of Critical Systems
AV  - public
EP  - 216
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>