DMCA

Composition and refinement of discrete realtime systems (1999)

by Jonathan S. Ostroff
Venue:71 [Pap94] [Per93] [Pet63] [Pet81
Citations:12 - 2 self