4 results
Abstract Diagnosis for tccp using a Linear Temporal Logic
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 787-801
-
- Article
- Export citation
Abstract diagnosis for timed concurrent constraint programs*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 4-5 / July 2011
- Published online by Cambridge University Press:
- 06 July 2011, pp. 487-502
-
- Article
- Export citation
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0.
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 813-814
-
- Article
-
- You have access
- Export citation
Automatic verification of timed concurrent constraint programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 11 May 2006, pp. 265-300
-
- Article
- Export citation