Sciweavers

53
Voted
IANDC
2008

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

14 years 8 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)