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

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	No. 944
ISSN	0302-9743
Status	Udgivet - 1996

Bibliografisk 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)

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 -