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

Published: 1994-12-31