EPTCS 107 - Infinity 2012
Mohamed Faouzi Atig, Ahmed Rezine (Eds.): Proceedings 14th International Workshop on Verification of Infinite-State Systems. 2012 EPTCS 107 [ contents ]

Aurel Randolph, Hanifa Boucheneb, Abdessamad Imine, Alejandro Quintero: On Consistency of Operational Transformation Approach. ... 45-59
Lukasz Fronc: Effective Marking Equivalence Checking in Systems with Dynamic Process Creation. ... 61-75



