Search dblp for Publications

export results for "toc:db/conf/infinity/infinity2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/infinity/2004,
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/138/issue/3},
  timestamp    = {Tue, 14 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infinity/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AbdullaDM05,
  author       = {Parosh Aziz Abdulla and
                  Johann Deneux and
                  Pritha Mahata},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Closed, Open, and Robust Timed Networks},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {117--151},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.03.027},
  doi          = {10.1016/J.ENTCS.2005.03.027},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AbdullaDM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bingham05,
  author       = {Jesse D. Bingham},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {A New Approach to Upward-Closed Set Backward Reachability Analysis},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {37--48},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.045},
  doi          = {10.1016/J.ENTCS.2005.01.045},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bingham05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BouajjaniET05,
  author       = {Ahmed Bouajjani and
                  Javier Esparza and
                  Tayssir Touili},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Reachability Analysis of Synchronized {PA} Systems},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {153--178},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.063},
  doi          = {10.1016/J.ENTCS.2005.02.063},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BouajjaniET05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BouajjaniLW05,
  author       = {Ahmed Bouajjani and
                  Axel Legay and
                  Pierre Wolper},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Handling Liveness Properties in (\emph{omega}-)Regular Model Checking},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {101--115},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.061},
  doi          = {10.1016/J.ENTCS.2005.02.061},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BouajjaniLW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BradfieldM05,
  author       = {Julian C. Bradfield and
                  Faron Moller},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Preface},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.07.008},
  doi          = {10.1016/J.ENTCS.2005.07.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BradfieldM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GrinchteinJL05,
  author       = {Olga Grinchtein and
                  Bengt Jonsson and
                  Martin Leucker},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Inference of Timed Transition Systems},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {87--99},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.062},
  doi          = {10.1016/J.ENTCS.2005.02.062},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GrinchteinJL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HabermehlV05,
  author       = {Peter Habermehl and
                  Tom{\'{a}}s Vojnar},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Regular Model Checking Using Inference of Regular Languages},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {21--36},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.01.044},
  doi          = {10.1016/J.ENTCS.2005.01.044},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HabermehlV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KotS05,
  author       = {Martin Kot and
                  Zdenek Sawa},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Bisimulation equivalence of a {BPP} and a finite-state system can
                  be decided in polynomial time},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {49--60},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.065},
  doi          = {10.1016/J.ENTCS.2005.02.065},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KotS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Lazic05,
  author       = {Ranko Lazic},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Decidability of Reachability for Polymorphic Systems with Arrays:
                  {A} Complete Classification},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.08.001},
  doi          = {10.1016/J.ENTCS.2005.08.001},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Lazic05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LazicNR05,
  author       = {Ranko Lazic and
                  Thomas Christopher Newcomb and
                  Bill Roscoe},
  editor       = {Julian C. Bradfield and
                  Faron Moller},
  title        = {Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting},
  booktitle    = {Proceedings of the 6th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {138},
  number       = {3},
  pages        = {61--86},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.064},
  doi          = {10.1016/J.ENTCS.2005.02.064},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/LazicNR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.