Bisimulation Verification for the DPO Approach with Borrowed Contexts (2007)

by Guilherme Rangel , Barbara König , Hartmut Ehrig
Venue:ECEASST
Citations:1 - 1 self