Nr. 19 (1994): RS-19 Automatic Verification of Real-Timed Systems Using EPSILON

Publiceret: 1994-07-28

Artikler