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
Keywords :
Graph transformationPetri netsCategory theoryAbstractionVerification
Journal title :
Information and Computation
Journal title :
Information and Computation
