Synthesizing Distinguishing Formulae for Real Time Systems

Jens. Chr. Godskesen, Kim Guldstrand Larsen

Research output: Contribution to journal › Journal article › Communication

AUB Link

@article{ac27c670809211db8b97000ea68e967b,

title = "Synthesizing Distinguishing Formulae for Real Time Systems",

author = "Godskesen, {Jens. Chr.} and Larsen, {Kim Guldstrand}",

year = "1995",

language = "English",

volume = "2",

pages = "338--357",

journal = "Nordic Journal of Computing",

issn = "1236-6064",

publisher = "University of Helsinki Department of Computer Science",

}