%A Jens Bendisposto
%A Cliff Jones
%A Michael Leuschel
%A Alexander Romanovsky
%T Proceedings of the 11th workshop on Automated Verification of Critical Systems
%X 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.
%D 2011
%I Newcastle University
%L deploy330
%E Jens Bendisposto
%E Cliff Jones
%E Michael Leuschel
%E Alexander Romanovsky

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