Sciweavers

IANDC
2008

A framework for the verification of infinite-state graph transformation systems

13 years 3 months ago
A framework for the verification of infinite-state graph transformation systems
Paolo Baldan, Andrea Corradini, Barbara König
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where IANDC
Authors Paolo Baldan, Andrea Corradini, Barbara König
Comments (0)