creators_name: Bendisposto, Jens
creators_name: Jones, Cliff
creators_name: Leuschel, Michael
creators_name: Romanovsky, Alexander
editors_name: Bendisposto, Jens
editors_name: Jones, Cliff
editors_name: Leuschel, Michael
editors_name: Romanovsky, Alexander
type: book
datestamp: 2011-09-02 08:43:33
lastmod: 2012-05-18 14:19:02
metadata_visibility: show
title: Proceedings of the 11th workshop on Automated Verification of Critical Systems
ispublished: pub
subjects: Event-Bsemantics
subjects: deploy_method
subjects: deploy_tooldev
full_text_status: public
abstract: 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.
date: 2011-09
publisher: Newcastle University
pages: 216
refereed: TRUE
citation:   Bendisposto, Jens and Jones, Cliff and Leuschel, Michael and Romanovsky, Alexander  (2011) Proceedings of the 11th workshop on Automated Verification of Critical Systems.    Newcastle University.      
document_url: http://deploy-eprints.ecs.soton.ac.uk/330/1/avocs2011.pdf