Title of article
A framework for the verification of infinite-state graph transformation systems
Author/Authors
Paolo Baldan، نويسنده , , Andrea Corradini، نويسنده , , Barbara Konig، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
39
From page
869
To page
907
Keywords
Graph transformationPetri netsCategory theoryAbstractionVerification
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262486
Link To Document