Keywords (1)

Academic
Publications
Global Model Checking of Ordered Multi-Pushdown Systems

Global Model Checking of Ordered Multi-Pushdown Systems,10.4230/LIPIcs.FSTTCS.2010.216,Mohamed Faouzi Atig

Global Model Checking of Ordered Multi-Pushdown Systems   (Citations: 2)
BibTex | RIS | RefWorks Download
Published in 2010.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: