Login / Signup

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

Paolo BaldanAndrea CorradiniBarbara König
Published in: Inf. Comput. (2008)
Keyphrases