Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1302-3290,
  author       = {Arnaud Gotlieb and
                  Tristan Denmat and
                  Nadjib Lazaar},
  editor       = {Mohamed Faouzi Atig and
                  Ahmed Rezine},
  title        = {Constraint-based reachability},
  booktitle    = {Proceedings 14th International Workshop on Verification of Infinite-State
                  Systems, Infinity 2012, Paris, France, 27th August 2012},
  series       = {{EPTCS}},
  volume       = {107},
  pages        = {25--43},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.107.4},
  doi          = {10.4204/EPTCS.107.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-3290.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-3291,
  author       = {Parosh Aziz Abdulla and
                  Richard Mayr},
  editor       = {Mohamed Faouzi Atig and
                  Ahmed Rezine},
  title        = {Petri Nets with Time and Cost},
  booktitle    = {Proceedings 14th International Workshop on Verification of Infinite-State
                  Systems, Infinity 2012, Paris, France, 27th August 2012},
  series       = {{EPTCS}},
  volume       = {107},
  pages        = {9--24},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.107.3},
  doi          = {10.4204/EPTCS.107.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-3291.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-3292,
  author       = {Aurel Randolph and
                  Hanifa Boucheneb and
                  Abdessamad Imine and
                  Alejandro Quintero},
  editor       = {Mohamed Faouzi Atig and
                  Ahmed Rezine},
  title        = {On Consistency of Operational Transformation Approach},
  booktitle    = {Proceedings 14th International Workshop on Verification of Infinite-State
                  Systems, Infinity 2012, Paris, France, 27th August 2012},
  series       = {{EPTCS}},
  volume       = {107},
  pages        = {45--59},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.107.5},
  doi          = {10.4204/EPTCS.107.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-3292.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1302-3293,
  author       = {Lukasz Fronc},
  editor       = {Mohamed Faouzi Atig and
                  Ahmed Rezine},
  title        = {Effective Marking Equivalence Checking in Systems with Dynamic Process
                  Creation},
  booktitle    = {Proceedings 14th International Workshop on Verification of Infinite-State
                  Systems, Infinity 2012, Paris, France, 27th August 2012},
  series       = {{EPTCS}},
  volume       = {107},
  pages        = {61--75},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.107.6},
  doi          = {10.4204/EPTCS.107.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-3293.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1302-3105,
  editor       = {Mohamed Faouzi Atig and
                  Ahmed Rezine},
  title        = {Proceedings 14th International Workshop on Verification of Infinite-State
                  Systems, Infinity 2012, Paris, France, 27th August 2012},
  series       = {{EPTCS}},
  volume       = {107},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.107},
  doi          = {10.4204/EPTCS.107},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-3105.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}