Proceedings of the 3rd international workshop on parallel and distributed methods in verification (PDMC 2004), London, UK, September 4, 2004
zbMATH Open1271.68026MaRDI QIDQ363035FDOQ363035
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/3
Recommendations
- Proceedings of the 4th international workshop on parallel and distributed methods in verification (PDMC 2005), Lisbon, Portugal, July 10, 2005
- Proceedings of the 6th international workshop on parallel and distributed methods in verification (PDMC 2007), Berlin, Germany, July 8, 2007
- Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008.
- PDMC 2003. Proceedings of the 2nd international workshop on parallel and distributed model checking (satellite workshop of CAV '03), Boulder, CO, USA, July 14, 2003
- PDMC 2002. Proceedings of the first international workshop on parallel and distributed model checking (satellite workshop of CONCUR 2002), Brno, Czech Republic, August 19, 2002
- Publication:4733386
- A survey of verification techniques for parallel programs
- Proceedings of the fourth international workshop on automated verification of critical systems (AVoCS 2004), London, UK, September 4, 2004
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)
This page was built for publication: Proceedings of the 3rd international workshop on parallel and distributed methods in verification (PDMC 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 Q363035)
