DMCA

Ptolemy: A Language with Quantified, Typed Events (2007)

by Hridesh Rajan , Gary T. Leavens
Citations:48 - 17 self