Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/infinity/2002,
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/68/issue/6},
  timestamp    = {Tue, 14 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infinity/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Cachat02,
  author       = {Thierry Cachat},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {Uniform Solution of Parity Games on Prefix-Recognizable Graphs},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {71--84},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80534-6},
  doi          = {10.1016/S1571-0661(04)80534-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Cachat02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Colcombet02,
  author       = {Thomas Colcombet},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {Rewriting in the partial algebra of typed terms modulo {AC}},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {40--54},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80532-2},
  doi          = {10.1016/S1571-0661(04)80532-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Colcombet02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FinkelRSB02,
  author       = {Alain Finkel and
                  Jean{-}Fran{\c{c}}ois Raskin and
                  Mathias Samuelides and
                  Laurent Van Begin},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {85--106},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80535-8},
  doi          = {10.1016/S1571-0661(04)80535-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FinkelRSB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Huttel02,
  author       = {Hans H{\"{u}}ttel},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {Deciding Framed Bisimilarity},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {1--18},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80530-9},
  doi          = {10.1016/S1571-0661(04)80530-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Huttel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KuceraM02,
  author       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {Preface},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {107--108},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80536-5},
  doi          = {10.1016/S1571-0661(05)80536-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KuceraM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rispal02,
  author       = {Chloe Rispal},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {The synchronized graphs trace the context-sensitive languages},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {55--70},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80533-4},
  doi          = {10.1016/S1571-0661(04)80533-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rispal02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/StribrnaC02,
  author       = {Jitka Str{\'{\i}}brn{\'{a}} and
                  Ivana Cern{\'{a}}},
  editor       = {Anton{\'{\i}}n Kucera and
                  Richard Mayr},
  title        = {Modifications of Expansion Trees for Weak Bisimulation in {BPA}},
  booktitle    = {4th International Workshop on Verification of Infinite-State Systems
                  {(CONCUR} 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic,
                  August 24, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {68},
  number       = {6},
  pages        = {19--39},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80531-0},
  doi          = {10.1016/S1571-0661(04)80531-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/StribrnaC02.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.