Synthesizing distinguishing formulae for real time systems -extended abstract [chapter]

Jens Chr. Godskesen, Kim G. Larsen
1995 Lecture Notes in Computer Science  
doi:10.1007/3-540-60246-1_157 fatcat:xafo72sxynctfkzq7ensb3i2wu