default search action

combined dblp search
author search
venue search
publication search

ask others

International Workshop on Parallel and Distributed Methods in Verification (PDMC)

International Workshop on Parallel and Distributed Model Checking (PDMC)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of (2008): European Joint Conferences on Theory And Practice of Software (ETAPS)
is part of (2003, 2007): International Conference on Computer Aided Verification (CAV)
is part of (2005): International Colloquium on Automata, Languages and Programming (ICALP)
is part of (2002, 2004): International Conference on Concurrency Theory (CONCUR)

11th PDMC 2012: London, UK

- view
- export record
  dblp key:
  - conf/pasm/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pasm/2012
Jeremy T. Bradley, Keijo Heljanko, William J. Knottenbelt, Nigel Thomas:
Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, PASM 2012, and the Eleventh International Workshop on Parallel and Distributed Methods in Verification, PDMC 2012, London, UK, September 2012. Electronic Notes in Theoretical Computer Science 296, Elsevier 2013 [contents]

7th PDMC@ETAPS 2008: Budapest, Hungary

- view
- export record
  dblp key:
  - conf/pdmc/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2008
Ivana Cerná, Gerald Lüttgen:
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008. Electronic Notes in Theoretical Computer Science 220(2), Elsevier 2008 [contents]

6th PDMC@CAV 2007: Berlin, Germany

- view
- export record
  dblp key:
  - conf/pdmc/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2007
Ivana Cerná, Boudewijn R. Haverkort:
Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@CAV 2007, Berlin, Germany, July 8, 2007. Electronic Notes in Theoretical Computer Science 198(1), Elsevier 2008 [contents]

4th PDMC@ICALP 2005: Lisbon, Portugal

- view
- export record
  dblp key:
  - conf/pdmc/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2005
Martin Leucker, Jaco van de Pol:
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(2), Elsevier 2006 [contents]

3rd PDMC@CONCUR 2004: London, UK

- view
- export record
  dblp key:
  - conf/pdmc/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2004
Lubos Brim, Martin Leucker:
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004. Electronic Notes in Theoretical Computer Science 128(3), Elsevier 2005 [contents]

2nd PDMC@CAV 2003: Boulder, CO, USA

- view
- export record
  dblp key:
  - conf/pdmc/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdmc/2003
Lubos Brim, Orna Grumberg:
2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003. Electronic Notes in Theoretical Computer Science 89(1), Elsevier 2003 [contents]

1st PDMC@CONCUR 2002: Brno, Czech Republic

- view
- export record
  dblp key:
  - conf/concur/2002pdmc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2002pdmc
Lubos Brim, Orna Grumberg:
Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(4), Elsevier 2002 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.