Search dblp for Publications

export results for "toc:db/conf/pdmc/pdmc2005.bht:"

 download as .bib file

@proceedings{DBLP:conf/pdmc/2005,
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/135/issue/2},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdmc/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrimCMS06,
  author       = {Lubos Brim and
                  Ivana Cern{\'{a}} and
                  Pavel Moravec and
                  Jir{\'{\i}} Simsa},
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {How to Order Vertices for Distributed {LTL} Model-Checking Based on
                  Accepting Predecessors},
  booktitle    = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  pages        = {3--18},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.015},
  doi          = {10.1016/J.ENTCS.2005.10.015},
  timestamp    = {Thu, 15 Dec 2022 14:06:53 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrimCMS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ChungC06,
  author       = {Ming{-}Ying Chung and
                  Gianfranco Ciardo},
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {A Pattern Recognition Approach for Speculative Firing Prediction in
                  Distributed Saturation State-Space Generation},
  booktitle    = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  pages        = {65--80},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.019},
  doi          = {10.1016/J.ENTCS.2005.10.019},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ChungC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GuiradoHLP06,
  author       = {Guillaume Guirado and
                  Thomas H{\'{e}}rault and
                  Richard Lassaigne and
                  Sylvain Peyronnet},
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {Distribution, Approximation and Probabilistic Model Checking},
  booktitle    = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  pages        = {19--30},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.016},
  doi          = {10.1016/J.ENTCS.2005.10.016},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GuiradoHLP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/IyerJSE06,
  author       = {Subramanian K. Iyer and
                  Jawahar Jain and
                  Debashis Sahoo and
                  E. Allen Emerson},
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {Under-approximation Heuristics for Grid-based Bounded Model Checking},
  booktitle    = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  pages        = {31--46},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.017},
  doi          = {10.1016/J.ENTCS.2005.10.017},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/IyerJSE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LeuckerP06,
  author       = {Martin Leucker and
                  Jaco van de Pol},
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {Preface},
  booktitle    = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.014},
  doi          = {10.1016/J.ENTCS.2005.10.014},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LeuckerP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NallaWPRKR06,
  author       = {Pradeep Kumar Nalla and
                  Roland J. Weiss and
                  Prakash Mohan Peranandam and
                  J{\"{u}}rgen Ruf and
                  Thomas Kropf and
                  Wolfgang Rosenstiel},
  editor       = {Martin Leucker and
                  Jaco van de Pol},
  title        = {Distributed Symbolic Bounded Property Checking},
  booktitle    = {Proceedings of the 4th International Workshop on Parallel and Distributed
                  Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
                  2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {135},
  number       = {2},
  pages        = {47--63},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.10.018},
  doi          = {10.1016/J.ENTCS.2005.10.018},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/NallaWPRKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.