Priced Timed Automata and Statistical Model Checking

Kim Guldstrand Larsen

doi:10.1007/978-3-642-38613-8_11

Priced Timed Automata and Statistical Model Checking

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

10 Citations (Scopus)

Original language	English
Title of host publication	Integrated Formal Methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
Volume	7940
Publisher	Springer Publishing Company
Publication date	2013
Pages	154-161
ISBN (Print)	978-3-642-38612-1
ISBN (Electronic)	978-3-642-38613-8
DOIs	https://doi.org/10.1007/978-3-642-38613-8_11
Publication status	Published - 2013
Event	10th International Conference on integrated Formal Methods - Turku, Finland Duration: 10 Jun 2013 → 14 Jun 2013

Conference

Conference	10th International Conference on integrated Formal Methods
Country/Territory	Finland
City	Turku
Period	10/06/2013 → 14/06/2013

Series	Lecture Notes in Computer Science
Volume	7940
ISSN	0302-9743

Access to Document

10.1007/978-3-642-38613-8_11

AUB Link

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

Cite this

@inproceedings{f2931c2102ec4d278efadec97139cf51,

title = "Priced Timed Automata and Statistical Model Checking",

author = "Larsen, {Kim Guldstrand}",

year = "2013",

doi = "10.1007/978-3-642-38613-8_11",

language = "English",

isbn = "978-3-642-38612-1",

volume = "7940",

series = "Lecture Notes in Computer Science",

publisher = "Springer Publishing Company",

pages = "154--161",

booktitle = "Integrated Formal Methods",

address = "United States",

note = "10th International Conference on integrated Formal Methods, iFM 2013 ; Conference date: 10-06-2013 Through 14-06-2013",

}

Larsen, KG 2013, Priced Timed Automata and Statistical Model Checking. in Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. vol. 7940, Springer Publishing Company, Lecture Notes in Computer Science, vol. 7940, pp. 154-161, 10th International Conference on integrated Formal Methods, Turku, Finland, 10/06/2013. https://doi.org/10.1007/978-3-642-38613-8_11

Priced Timed Automata and Statistical Model Checking. / Larsen, Kim Guldstrand.
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Vol. 7940 Springer Publishing Company, 2013. p. 154-161 (Lecture Notes in Computer Science, Vol. 7940).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Priced Timed Automata and Statistical Model Checking

AU - Larsen, Kim Guldstrand

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38613-8_11

DO - 10.1007/978-3-642-38613-8_11

M3 - Article in proceeding

SN - 978-3-642-38612-1

VL - 7940

T3 - Lecture Notes in Computer Science

SP - 154

EP - 161

BT - Integrated Formal Methods

PB - Springer Publishing Company

T2 - 10th International Conference on integrated Formal Methods

Y2 - 10 June 2013 through 14 June 2013

ER -