Baldan, Paolo; Corradini, Andrea; König, Barbara:

A Framework for the Verification of Infinite-State Graph Transformation Systems

In: Information and Computation, Jg. 206 (2008) ; Nr. 7, S. 869 - 907
ISSN: 0890-5401
Zeitschriftenaufsatz / Fach: Informatik

Dieser Eintrag ist freigegeben.