"330","Proceedings of the 11th workshop on Automated Verification of Critical Systems","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.","http://deploy-eprints.ecs.soton.ac.uk/330/","Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander","Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander","       <span class=\"person_name\">Bendisposto, Jens</span> and <span class=\"person_name\">Jones, Cliff</span> and <span class=\"person_name\">Leuschel, Michael</span> and <span class=\"person_name\">Romanovsky, Alexander</span>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/330/\"><em>Proceedings of the 11th workshop on Automated Verification of Critical Systems.</em></a>                 Newcastle University.                ","","2011-09"