Automatic Synthesis of Real Time Systems

J. H. Andersen; K. J. Kristoffersen; Kim Guldstrand Larsen; J. Niedermann

Automatic Synthesis of Real Time Systems

J. H. Andersen, K. J. Kristoffersen, Kim Guldstrand Larsen, J. Niedermann

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

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{1ac781809c2f11db8ed6000ea68e967b,

title = "Automatic Synthesis of Real Time Systems",

author = "Andersen, {J. H.} and Kristoffersen, {K. J.} and Larsen, {Kim Guldstrand} and J. Niedermann",

note = "In Proceedings of 22nd International Colloquium on Automata, Languages and Programming (ICALP) In Proceedings of 22nd International Colloquium on Automata, Languages and Programming (ICALP)",

year = "1996",

language = "English",

volume = "No. 944",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - JOUR

T1 - Automatic Synthesis of Real Time Systems

AU - Andersen, J. H.

AU - Kristoffersen, K. J.

AU - Larsen, Kim Guldstrand

AU - Niedermann, J.

N1 - In Proceedings of 22nd International Colloquium on Automata, Languages and Programming (ICALP) In Proceedings of 22nd International Colloquium on Automata, Languages and Programming (ICALP)

PY - 1996

Y1 - 1996

M3 - Journal article

SN - 0302-9743

VL - No. 944

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -