Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).

Jens Chr. Godskesen, Kim Guldstrand Larsen

Browse the full MFCS paper archive.