Model-Checking One-Clock Priced Timed Automata

Patricia Bouyer, Kim Guldstrand Larsen, N. Markey

Research output: Contribution to journalConference article in JournalResearchpeer-review

18 Citations (Scopus)
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)108-122
Number of pages14
ISSN0302-9743
DOIs
Publication statusPublished - 2007
EventTenth International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FoSSacs 2007 - Braga, Portugal
Duration: 24 Mar 20071 Apr 2007
Conference number: 10

Conference

ConferenceTenth International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FoSSacs 2007
Number10
CountryPortugal
CityBraga
Period24/03/200701/04/2007

Cite this

@inproceedings{9afd1010a6e111dbb8eb000ea68e967b,
title = "Model-Checking One-Clock Priced Timed Automata",
author = "Patricia Bouyer and Larsen, {Kim Guldstrand} and N. Markey",
note = "Volumne: 4423",
year = "2007",
doi = "10.2168/LMCS-4(2:9)2008",
language = "English",
pages = "108--122",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Physica-Verlag",

}

Model-Checking One-Clock Priced Timed Automata. / Bouyer, Patricia; Larsen, Kim Guldstrand; Markey, N.

In: Lecture Notes in Computer Science, 2007, p. 108-122.

Research output: Contribution to journalConference article in JournalResearchpeer-review

TY - GEN

T1 - Model-Checking One-Clock Priced Timed Automata

AU - Bouyer, Patricia

AU - Larsen, Kim Guldstrand

AU - Markey, N.

N1 - Volumne: 4423

PY - 2007

Y1 - 2007

U2 - 10.2168/LMCS-4(2:9)2008

DO - 10.2168/LMCS-4(2:9)2008

M3 - Conference article in Journal

SP - 108

EP - 122

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -