default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th PDMC@ICALP 2005: Lisbon, Portugal
- 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 - Martin Leucker, Jaco van de Pol:
Preface. 1-2 - Lubos Brim, Ivana Cerná
, Pavel Moravec, Jirí Simsa:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. 3-18 - Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet:
Distribution, Approximation and Probabilistic Model Checking. 19-30 - Subramanian K. Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson:
Under-approximation Heuristics for Grid-based Bounded Model Checking. 31-46 - Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
Distributed Symbolic Bounded Property Checking. 47-63 - Ming-Ying Chung, Gianfranco Ciardo:
A Pattern Recognition Approach for Speculative Firing Prediction in Distributed Saturation State-Space Generation. 65-80
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 2024-10-04 19:47 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
