EPTCS 72 - PDMC 2011

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0064
- ask others
Jiri Barnat, Keijo Heljanko (Eds.): Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation. 2011 EPTCS 72 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0368
- ask others
Lubos Brim, Jiri Barnat: Platform Dependent Verification: On Engineering Verification Tools for 21st Century. ... 1-12
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0369
- ask others
Alfons Laarman, Jaco van de Pol: Variations on Multi-Core Nested Depth-First Search. ... 13-28
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0370
- ask others
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay: Distributed Parametric and Statistical Model Checking. ... 30-42
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0371
- ask others
Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger: Lazy Decomposition for Distributed Decision Procedures. ... 43-54
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0372
- ask others
Temesghen Kahsai, Cesare Tinelli: PKind: A parallel k-induction based model checker. ... 55-62
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0373
- ask others
Nikola Benes, Ivana Cerná, Milan Krivánek: CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. ... 63-67
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0627
- ask others
Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska: Computing Optimal Cycle Mean in Parallel on CUDA. ... 68-83
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0374
- ask others
Stefan Vijzelaar, Kees Verstoep, Wan Fokkink, Henri E. Bal: Distributed MAP in the SpinJa Model Checker. ... 84-90
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1111-0375
- ask others
Anton Wijs: The HIVE Tool for Informed Swarm State Space Exploration. ... 91-98