Author:
Lescaylle Alexei,Villanueva Alicia
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Maude Web Site. http://maude.csl.sri.com/, 2009
2. Verifying Real-Time Properties of tccp Programs;Alpuente;Journal of Universal Computer Science,2006
3. A semantic framework for the abstract model checking of tccp programs;Alpuente;Theoretical Computer Science,2005
4. All About Maude – A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic;Clavel,2007
5. F. S. de Boer, M. Gabbrielli, and M. C. Meo. A Temporal Logic for Reasoning about Timed Concurrent Constraint Programs. In TIME '01: Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01), page 227, Washington, DC, USA, 2001. IEEE Computer Society
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献