Author:
Edelkamp Stefan,Jabbar Shahid,Lafuente Alberto Lluch
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. Baldan, P., Corradini, A., König, B., König, B.: Verifying a behavioural logic for graph transformation systems. In: CoMeta 2003. ENTCS (2004)
2. Bonet, B., Geffner, H.: Planning as heuristic search. Artificial Intelligence 129(1–2), 5–33 (2001)
3. Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Inf. Comput. 186(2), 194–235 (2003)
4. Lecture Notes in Computer Science;L. Cardelli,2002
5. Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (1999)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献