Proceedings of the fourth international workshop on automated verification of critical systems (AVoCS 2004), London, UK, September 4, 2004
zbMATH Open1271.68044MaRDI QIDQ363036FDOQ363036
Authors:
Publication date: 30 August 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/journal/15710661/128/6
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (4)
- Special Issue: Automated verification of critical systems (AVoCS). Selected and revised papers based on the presentation at the international workshop, Southhampton, UK, April 2--3, 2003.
- Proceedings of the 3rd international workshop on parallel and distributed methods in verification (PDMC 2004), London, UK, September 4, 2004
- Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005
- Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006.
This page was built for publication: Proceedings of the fourth international workshop on automated verification of critical systems (AVoCS 2004), London, UK, September 4, 2004
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q363036)
