Author:
Lluch-Lafuente Alberto,Montanari Ugo
Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. Model-checking for real-time systems;Alur,1990
2. The algebraic mu-calculus and mtbdds;Baier,1998
3. P. Baldan, A. Corradini, B. König, B. König, Verifying a behavioural logic for graph transformation systems, in: CoMeta’03, Electronic Notes in Theoretical Computer Science, Vol. 104, 2004, pp. 5–24.
4. S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, G. Verfaille, Semiring-based CSPs and valued CSPs: frameworks, properties, and comparison, Constraints (1999) 199–240.
5. Semiring-based constraint logic programming: Syntax and semantics;Bistarelli;ACM Trans. Programming Languages Systems (TOPLAS),2001
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献