A Modular Formal Semantics for Ptolemy (2011)

by Stavros Tripakis , Christos Stergiou , Chris Shaver , Edward A. Lee
Citations:4 - 3 self