default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd PDMC@CAV 2003: Boulder, CO, USA
- 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 - Lubos Brim, Orna Grumberg:
Preface. 1-2 - Assaf Schuster:
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations. 3 - Martin Leucker
, Rafal Somla, Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lµ2. 4-16 - Lubos Brim, Jitka Zidkova:
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. 17-32 - Pavel Krcál:
Distributed Explicit Bounded LTL Model Checking. 33-50 - Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. 51-67 - Stefan Blom, Izak van Langevelde, Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems. 68-83 - Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers. 84-98 - Stefan Blom, Simona Orzan:
Distributed Branching Bisimulation Reduction of State Spaces. 99-113 - Christophe Joubert:
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. 114-127
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 2025-01-22 20:34 CET 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
