A bidirectional graph transformation approach to analysis of concurrent software models

Author(s):  
Yuting Chen
Sign in / Sign up

Export Citation Format

Share Document