Varro, D. 2003. Automated formal verification of visual modeling languages by model checking. Journal on Software and Systems Modeling. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Action Planning for Graph Transition Systems - Edelkamp, Jabbar, al. (2005) (Correct)
No context found.
Varro, D. 2003. Automated formal verification of visual modeling languages by model checking. Journal on Software and Systems Modeling.
Graphical Verification of a Spatial Logic for the π-calculus - Gadducci, Lafuente (2005) (Correct)
No context found.
Varro, D., Automated formal verification of visual modeling languages by model checking, Software and Systems Modeling 3 (2004), pp. 85--113. 14 54 A Technicalities and Proofs
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