Synthesizing Distinguishing Formulae for Real Time Systems

Research output: Contribution to journal › Journal article › Communication

Original language	English
Book series	Lecture Notes in Computer Science
Volume	No. 969
ISSN	0302-9743
Publication status	Published - 1996

AUB Link

@article{11a762a09c2f11db8ed6000ea68e967b,

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

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

note = "In Proceedings of Mathematical Foundations of Computer Science In Proceedings of Mathematical Foundations of Computer Science",

year = "1996",

language = "English",

volume = "No. 969",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - Synthesizing Distinguishing Formulae for Real Time Systems

AU - Godskesen, Jens Chr.

AU - Larsen, Kim Guldstrand

N1 - In Proceedings of Mathematical Foundations of Computer Science In Proceedings of Mathematical Foundations of Computer Science

PY - 1996

Y1 - 1996

M3 - Journal article

SN - 0302-9743

VL - No. 969

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -