Search dblp for Publications

export results for "toc:db/journals/entcs/entcs5.bht:"

 download as .bib file

@proceedings{DBLP:conf/infinity/1996,
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/5/suppl/C},
  timestamp    = {Tue, 14 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infinity/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BurkartE96,
  author       = {Olaf Burkart and
                  Javier Esparza},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {More infinite results},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {29},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80680-2},
  doi          = {10.1016/S1571-0661(05)80680-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BurkartE96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BurkartQ96,
  author       = {Olaf Burkart and
                  Yves{-}Marie Quemener},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Model-checking of infinite graphs defined by graph grammars},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {16},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80677-2},
  doi          = {10.1016/S1571-0661(05)80677-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BurkartQ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CernaKK96,
  author       = {Ivana Cern{\'{a}} and
                  Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and
                  Anton{\'{\i}}n Kucera},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Bisimilarity is decidable in the union of normed {BPA} and normed
                  {BPP} processes},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {14},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80675-9},
  doi          = {10.1016/S1571-0661(05)80675-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CernaKK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Cridlig96,
  author       = {R{\'{e}}gis Cridlig},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Semantic analysis of concurrent {ML} by abstract model-checking},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {17},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80678-4},
  doi          = {10.1016/S1571-0661(05)80678-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Cridlig96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GurovBK96,
  author       = {Dilian Gurov and
                  Sergey Berezin and
                  Bruce M. Kapron},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {A modal mu-calculus and a proof system for value passing processes},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {47},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80683-8},
  doi          = {10.1016/S1571-0661(05)80683-8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GurovBK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hirshfeld96,
  author       = {Yoram Hirshfeld},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Bisimulation trees and the decidability of weak bisimulations},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {2--13},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80674-7},
  doi          = {10.1016/S1571-0661(05)80674-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Hirshfeld96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KouchnarenkoS96,
  author       = {Olga Kouchnarenko and
                  Philippe Schnoebelen},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {A model for recursive-parallel programs},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {30},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)82512-5},
  doi          = {10.1016/S1571-0661(05)82512-5},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KouchnarenkoS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Mayr96,
  author       = {Richard Mayr},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Semantic reachability},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {18--28},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80679-6},
  doi          = {10.1016/S1571-0661(05)80679-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Mayr96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Nesi96,
  author       = {Monica Nesi},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Mechanising a modal logic for value-passing agents in {HOL}},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {31--46},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80682-6},
  doi          = {10.1016/S1571-0661(05)80682-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Nesi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Paczkowski96,
  author       = {Pawel Paczkowski},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Characterizing bisimilarity of value-passing parametrised processes},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {15},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)80676-0},
  doi          = {10.1016/S1571-0661(05)80676-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Paczkowski96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Steffen96,
  author       = {Bernhard Steffen},
  editor       = {Bernhard Steffen and
                  Didier Caucal},
  title        = {Preface},
  booktitle    = {First International Workshop on Verification of Infinite State Systems,
                  Infinity 1996, Universit{\`{a}} di Pisa, Pisa, Italy, August 30-31,
                  1996},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {5},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {1996},
  url          = {https://doi.org/10.1016/S1571-0661(05)82511-3},
  doi          = {10.1016/S1571-0661(05)82511-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Steffen96.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.