Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BlomLL03,
  author       = {Stefan Blom and
                  Izak van Langevelde and
                  Bert Lisser},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Compressed and Distributed File Formats for Labeled Transition Systems},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {68--83},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80097-0},
  doi          = {10.1016/S1571-0661(05)80097-0},
  timestamp    = {Thu, 08 Dec 2022 15:32:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BlomLL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BlomO03,
  author       = {Stefan Blom and
                  Simona Orzan},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Distributed Branching Bisimulation Reduction of State Spaces},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {99--113},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80099-4},
  doi          = {10.1016/S1571-0661(05)80099-4},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BlomO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrimG03,
  author       = {Lubos Brim and
                  Orna Grumberg},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Preface},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80091-X},
  doi          = {10.1016/S1571-0661(05)80091-X},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrimG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BrimZ03,
  author       = {Lubos Brim and
                  Jitka Zidkova},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Using Assumptions to Distribute Alternation Free Mu-Calculus Model
                  Checking},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {17--32},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80094-5},
  doi          = {10.1016/S1571-0661(05)80094-5},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BrimZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JonesMBKL03,
  author       = {Michael D. Jones and
                  Eric Mercer and
                  Tonglaga Bao and
                  Rahul Kumar and
                  Peter Lamborn},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Benchmarking Explicit State Parallel Model Checkers},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {84--98},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80098-2},
  doi          = {10.1016/S1571-0661(05)80098-2},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JonesMBKL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Joubert03,
  author       = {Christophe Joubert},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Distributed Model Checking: From Abstract Algorithms to Concrete Implementations},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {114--127},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80100-8},
  doi          = {10.1016/S1571-0661(05)80100-8},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Joubert03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Krcal03,
  author       = {Pavel Krc{\'{a}}l},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Distributed Explicit Bounded {LTL} Model Checking},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {33--50},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80095-7},
  doi          = {10.1016/S1571-0661(05)80095-7},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Krcal03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LeuckerSW03,
  author       = {Martin Leucker and
                  Rafal Somla and
                  Michael Weber},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Parallel Model Checking for LTL, CTL*, and L{\(\mathrm{\mu}\)}\({}^{\mbox{2}}\)},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {4--16},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80093-3},
  doi          = {10.1016/S1571-0661(05)80093-3},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LeuckerSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Schuster03,
  author       = {Assaf Schuster},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Scalable Distributed Model Checking: Experiences, Lessons, and Expectations},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {3},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80092-1},
  doi          = {10.1016/S1571-0661(05)80092-1},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Schuster03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SivarajG03,
  author       = {Hemanthkumar Sivaraj and
                  Ganesh Gopalakrishnan},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Random Walk Based Heuristic Algorithms for Distributed Memory Model
                  Checking},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {51--67},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80096-9},
  doi          = {10.1016/S1571-0661(05)80096-9},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SivarajG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pdmc/2003,
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/89/issue/1},
  timestamp    = {Thu, 08 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pdmc/2003.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.