Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/HolikC14,
  editor       = {Luk{\'{a}}s Hol{\'{\i}}k and
                  Lorenzo Clemente},
  title        = {Proceedings 15th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013},
  series       = {{EPTCS}},
  volume       = {140},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.140},
  doi          = {10.4204/EPTCS.140},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/HolikC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/AbdullaAS14,
  author       = {Parosh Aziz Abdulla and
                  Mohamed Faouzi Atig and
                  Jari Stenman},
  editor       = {Luk{\'{a}}s Hol{\'{\i}}k and
                  Lorenzo Clemente},
  title        = {Zenoness for Timed Pushdown Automata},
  booktitle    = {Proceedings 15th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013},
  series       = {{EPTCS}},
  volume       = {140},
  pages        = {35--47},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.140.3},
  doi          = {10.4204/EPTCS.140.3},
  timestamp    = {Mon, 26 Oct 2020 08:44:08 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaAS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ChenWY14,
  author       = {Yu{-}Fang Chen and
                  Bow{-}Yaw Wang and
                  Di{-}De Yen},
  editor       = {Luk{\'{a}}s Hol{\'{\i}}k and
                  Lorenzo Clemente},
  title        = {A Finite Exact Representation of Register Automata Configurations},
  booktitle    = {Proceedings 15th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013},
  series       = {{EPTCS}},
  volume       = {140},
  pages        = {16--34},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.140.2},
  doi          = {10.4204/EPTCS.140.2},
  timestamp    = {Thu, 23 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ChenWY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KatzP14,
  author       = {Gal Katz and
                  Doron A. Peled},
  editor       = {Luk{\'{a}}s Hol{\'{\i}}k and
                  Lorenzo Clemente},
  title        = {Synthesis of Parametric Programs using Genetic Programming and Model
                  Checking},
  booktitle    = {Proceedings 15th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013},
  series       = {{EPTCS}},
  volume       = {140},
  pages        = {70--84},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.140.5},
  doi          = {10.4204/EPTCS.140.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KatzP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Maler14,
  author       = {Oded Maler},
  editor       = {Luk{\'{a}}s Hol{\'{\i}}k and
                  Lorenzo Clemente},
  title        = {Algorithmic Verification of Continuous and Hybrid Systems},
  booktitle    = {Proceedings 15th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013},
  series       = {{EPTCS}},
  volume       = {140},
  pages        = {48--69},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.140.4},
  doi          = {10.4204/EPTCS.140.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Maler14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SchusterS14,
  author       = {Johann Schuster and
                  Markus Siegle},
  editor       = {Luk{\'{a}}s Hol{\'{\i}}k and
                  Lorenzo Clemente},
  title        = {Lattice structures for bisimilar Probabilistic Automata},
  booktitle    = {Proceedings 15th International Workshop on Verification of Infinite-State
                  Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013},
  series       = {{EPTCS}},
  volume       = {140},
  pages        = {1--15},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.140.1},
  doi          = {10.4204/EPTCS.140.1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SchusterS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}