From Timed Automata to Logic and Back

Kim Guldstrand Larsen, FB. Laroussinie, C. Weise

Research output: Contribution to journal › Journal article › Research › peer-review

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

AUB Link

@article{1891dcd09c2f11db8ed6000ea68e967b,

title = "From Timed Automata to Logic and Back",

author = "Larsen, {Kim Guldstrand} and FB. Laroussinie and C. Weise",

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

year = "1996",

language = "English",

volume = "No. 969",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - From Timed Automata to Logic and Back

AU - Larsen, Kim Guldstrand

AU - Laroussinie, FB.

AU - Weise, C.

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

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 -