P. Baldan, B. Konig, and B. Konig. A logic for analyzing abstractions of graph transformation systems. In R. Cousot, ed., Static Analysis, vol. 2694 of LNCS, pp. 255--272. Springer, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Verifying Finite-State Graph Grammars: an Unfolding-Based.. - Baldan, Corradini, König Self-citation (Baldan Onig) (Correct)
No context found.
P. Baldan, B. Konig, and B. Konig. A logic for analyzing abstractions of graph transformation systems. In Proc. of SAS'03, pages 255-272. Springer, 2003. LNCS 2694.
Verifying a Behavioural Logic for Graph Transformation Systems - Baldan, al. (2004) (2 citations) Self-citation (Baldan Onig) (Correct)
No context found.
P. Baldan, B. Konig, and B. Konig. A logic for analyzing abstractions of graph transformation systems. In R. Cousot, editor, Proceedings of SAS'03, volume 2694 of LNCS, pages 255-272. Springer Verlag, 2003.
Canonical Graph Shapes - Rensink (2004) (Correct)
No context found.
P. Baldan, B. Konig, and B. Konig. A logic for analyzing abstractions of graph transformation systems. In R. Cousot, ed., Static Analysis, vol. 2694 of LNCS, pp. 255--272. Springer, 2003.
State Space Abstraction Using Shape Graphs - Rensink (2004) (Correct)
No context found.
P. Baldan, B. Konig, and B. Konig. A logic for analyzing abstractions of graph transformation systems. In R. Cousot, editor, Static Analysis, volume 2694 of Lecture Notes in Computer Science, pages 255--272. Springer-Verlag, 2003.
A Logic of Local Graph Shapes - Rensink (2003) (Correct)
No context found.
P. Baldan, B. Konig, and B. Konig. A logic for analyzing abstractions of graph transformation systems. In R. Cousot, editor, Static Analysis, volume 2694 of Lecture Notes in Computer Science, pages 255--272. Springer-Verlag, 2003. 28, 30
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC