1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2013
Proceedings 14th International Workshop on Verification of Infinite-State Systems
Mohamed Faouzi Atig, Ahmed Rezine
This volume contains the proceedings of Infinity'12, the 14th International Workshop on Verification of Infinite-State Systems, which was held in Paris, France on the 27th of Augus…
cs.FL2010★ 1 cited
Proceedings 12th International Workshop on Verification of Infinite-State Systems
Yu-Fang Chen, Ahmed Rezine
The aim of the INFINITY workshop is to provide a forum for researchers interested in the development of formal methods and algorithmic techniques for the analysis of systems with i…