default search action

combined dblp search
author search
venue search
publication search

ask others

10th PDMC 2011: Snowbird, UT, USA

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

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

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.