Gascon, Régis An automata-based approach for \(\text{CTL}^{*}\) with constraints. (English) Zbl 1347.68224 Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 193-211 (2009). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{R. Gascon}, Electron. Notes Theor. Comput. Sci. 239, 193--211 (2009; Zbl 1347.68224) Full Text: DOI
Demri, Stéphane; Gascon, Régis Verification of qualitative \(\mathbb Z\) constraints. (English) Zbl 1157.68048 Theor. Comput. Sci. 409, No. 1, 24-40 (2008). MSC: 68Q60 03B44 68Q25 PDFBibTeX XMLCite \textit{S. Demri} and \textit{R. Gascon}, Theor. Comput. Sci. 409, No. 1, 24--40 (2008; Zbl 1157.68048) Full Text: DOI