EPTCS 107 - Infinity 2012

- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-3105
- ask others
Mohamed Faouzi Atig, Ahmed Rezine (Eds.): Proceedings 14th International Workshop on Verification of Infinite-State Systems. 2012 EPTCS 107 [ contents ]
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-3291
- ask others
Parosh Aziz Abdulla, Richard Mayr: Petri Nets with Time and Cost. ... 9-24
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-3290
- ask others
Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar: Constraint-based reachability. ... 25-43
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-3292
- ask others
Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero: On Consistency of Operational Transformation Approach. ... 45-59
- view
  - table of contents in DBLP
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-3293
- ask others
Lukasz Fronc: Effective Marking Equivalence Checking in Systems with Dynamic Process Creation. ... 61-75