Synthesizing Distinguishing Formulae for Real Time Systems

Jens Chr. Godskesen, Kim Guldstrand Larsen. Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput., 2(3):338-357, 1995.

Abstract

Abstract is missing.