Symbolic and Compositional Reachability for Timed Automata

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

Originalsprog	Dansk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6227
Sider (fra-til)	24-28
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-15349-5
Status	Udgivet - 2010
Begivenhed	4th International Workshop on Reachability Problems, RP 2010 - Brno, Tjekkiet Varighed: 28 aug. 2010 → 29 aug. 2010 Konferencens nummer: 4th

Workshop	4th International Workshop on Reachability Problems, RP 2010
Nummer	4th
Land/Område	Tjekkiet
By	Brno
Periode	28/08/2010 → 29/08/2010

Adgang til dokumentet

@inproceedings{43b1e717a48f432983c13c17f549880e,

title = "Symbolic and Compositional Reachability for Timed Automata",

author = "Larsen, {Kim Guldstrand}",

year = "2010",

doi = "10.1007/978-3-642-15349-5",

language = "Dansk",

volume = "6227",

pages = "24--28",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

note = "4th International Workshop on Reachability Problems, RP 2010, RP2010 ; Conference date: 28-08-2010 Through 29-08-2010",

}

TY - GEN

T1 - Symbolic and Compositional Reachability for Timed Automata

AU - Larsen, Kim Guldstrand

N1 - Conference code: 4th

PY - 2010

Y1 - 2010

U2 - 10.1007/978-3-642-15349-5

DO - 10.1007/978-3-642-15349-5

M3 - Konferenceartikel i tidsskrift

SN - 0302-9743

VL - 6227

SP - 24

EP - 28

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 4th International Workshop on Reachability Problems, RP 2010

Y2 - 28 August 2010 through 29 August 2010

ER -