default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th PDMC 2011: Snowbird, UT, USA
- 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 - Lubos Brim, Jiri Barnat:
Platform Dependent Verification: On Engineering Verification Tools for 21st Century. 1-12 - Alfons Laarman, Jaco van de Pol:
Variations on Multi-Core Nested Depth-First Search. 13-28 - Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay:
Distributed Parametric and Statistical Model Checking. 30-42 - Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger:
Lazy Decomposition for Distributed Decision Procedures. 43-54 - Temesghen Kahsai, Cesare Tinelli:
PKind: A parallel k-induction based model checker. 55-62 - Nikola Benes, Ivana Cerná, Milan Krivánek:
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems. 63-67 - Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska:
Computing Optimal Cycle Mean in Parallel on CUDA. 68-83 - Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal:
Distributed MAP in the SpinJa Model Checker. 84-90 - 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.
last updated on 2026-09-05 00:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
