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

Cached

Download Links

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