A Framework for the Verification of Infinite-State Graph Transformation Systems 1 Paolo Baldan a,∗, Andrea Corradini b, Barbara K¨onig c, a Dipartimento di Matematica Pura e Applicata, Universit` - Pura - Document - PDFSEARCH.IO

First Page	Meta Content
	A Framework for the Verification of Infinite-State Graph Transformation Systems 1 Paolo Baldan a,∗, Andrea Corradini b, Barbara K¨onig c, a Dipartimento di Matematica Pura e Applicata, Universit` Add to Reading List Document Date: 2008-08-04 06:32:41 Open Document File Size: 697,73 KB Share Result on Facebook

A Framework for the Verification of Infinite-State Graph Transformation Systems 1 Paolo Baldan a,∗, Andrea Corradini b, Barbara K¨onig c, a Dipartimento di Matematica Pura e Applicata, Universit`Add to Reading List