| Original language | Undefined/Unknown |
|---|---|
| Journal | University of Minnesota Software Engineering Center, Tech. Rep |
| Volume | 1 |
| State | Published - 2010 |
| Externally published | Yes |
A parametric structural operational semantics for Stateflow, UML Statecharts, and Rhapsody
Mike Whalen
Research output: Contribution to journal › Article