Infinity

201220122012

Keyphrases

Publications

2012

Parosh Aziz Abdulla, Richard Mayr
Petri Nets with Time and Cost Infinity (2012)
Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar
Constraint-based reachability Infinity (2012)
Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero
On Consistency of Operational Transformation Approach Infinity (2012)
Lukasz Fronc
Effective Marking Equivalence Checking in Systems with Dynamic Process Creation Infinity (2012)

volume 107, 2012

Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. Infinity 107 (2012)