Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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