Nr. 48 (1994): RS-48 Synthesizing Distinguishing Formulae for Real Time Systems

Publiceret: 1994-12-31

Artikler