A modular formal semantics for Ptolemy (2013)

by S Tripakis, C Stergiou, C Shaver, E A Lee
Venue:Mathematical Structures in Computer Science