Jens Chr. Godskesen, Kim Guldstrand Larsen. Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput., 2(3):338-357, 1995.
@article{GodskesenL95,
title = {Synthesizing Distinguishing Formulae for Real Time Systems},
author = {Jens Chr. Godskesen and Kim Guldstrand Larsen},
year = {1995},
researchr = {https://researchr.org/publication/GodskesenL95},
cites = {0},
citedby = {0},
journal = {Nord. J. Comput.},
volume = {2},
number = {3},
pages = {338-357},
}