Timed Automata Can Always Be Made Implementable

Patricia Bouyer, Kim Guldstrand Larsen, Nicholas Markey, Ocan Sankur, C. Thrane

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

15 Citationer (Scopus)
OriginalsprogEngelsk
BogserieLecture Notes in Computer Science
Vol/bind6901 LNCS
Sider (fra-til)76-91
Antal sider16
ISSN0302-9743
DOI
StatusUdgivet - 1 jan. 2011
Begivenhed22nd International Conference on Concurrency Theory - Aachen, Tyskland
Varighed: 6 sep. 20119 sep. 2011
Konferencens nummer: 22

Konference

Konference22nd International Conference on Concurrency Theory
Nummer22
LandTyskland
ByAachen
Periode06/09/201109/09/2011

Fingerprint

Timed Automata
Semantics
Clocks
Synchrony
Timing
Discretization

Bibliografisk note

Proceedings of the 22nd International Conference on Concurrency Theory. Katoen, J.-P. & König, B. (eds.)

Citer dette

Bouyer, Patricia ; Larsen, Kim Guldstrand ; Markey, Nicholas ; Sankur, Ocan ; Thrane, C. / Timed Automata Can Always Be Made Implementable. I: Lecture Notes in Computer Science. 2011 ; Bind 6901 LNCS. s. 76-91.
@inproceedings{7e1ca54643a444abb33622a5fb4984cd,
title = "Timed Automata Can Always Be Made Implementable",
author = "Patricia Bouyer and Larsen, {Kim Guldstrand} and Nicholas Markey and Ocan Sankur and C. Thrane",
note = "Proceedings of the 22nd International Conference on Concurrency Theory. Katoen, J.-P. & K{\"o}nig, B. (eds.)",
year = "2011",
month = "1",
day = "1",
doi = "10.1007/978-3-642-23217-6_6",
language = "English",
volume = "6901 LNCS",
pages = "76--91",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Timed Automata Can Always Be Made Implementable. / Bouyer, Patricia; Larsen, Kim Guldstrand; Markey, Nicholas; Sankur, Ocan; Thrane, C.

I: Lecture Notes in Computer Science, Bind 6901 LNCS, 01.01.2011, s. 76-91.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

TY - GEN

T1 - Timed Automata Can Always Be Made Implementable

AU - Bouyer, Patricia

AU - Larsen, Kim Guldstrand

AU - Markey, Nicholas

AU - Sankur, Ocan

AU - Thrane, C.

N1 - Proceedings of the 22nd International Conference on Concurrency Theory. Katoen, J.-P. & König, B. (eds.)

PY - 2011/1/1

Y1 - 2011/1/1

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80052881544&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=80052881544&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80052881544&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-23217-6_6

DO - 10.1007/978-3-642-23217-6_6

M3 - Conference article in Journal

AN - SCOPUS:80052881544

VL - 6901 LNCS

SP - 76

EP - 91

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -