DMCA

A Timed Specification Language for Concurrent Reactive Systems (1993)

by Michael Schenke
Venue:PROCOS PROJECT DOCUMENT [OLD MS 8/1], UNIVERSITAT
Citations:12 - 8 self