Refinement of Trace Abstraction for Real-Time Programs

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)
OriginalsprogEngelsk
TitelReachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
ForlagSpringer
Publikationsdato7 sep. 2017
Sider42-58
ISBN (Trykt)978-3-319-67088-1
ISBN (Elektronisk)978-3-319-67089-8
DOI
StatusUdgivet - 7 sep. 2017
BegivenhedInternational Workshop on Reachability Problems - London, Storbritannien
Varighed: 7 sep. 20179 sep. 2017

Konference

KonferenceInternational Workshop on Reachability Problems
LandStorbritannien
ByLondon
Periode07/09/201709/09/2017
NavnLecture Notes in Computer Science
Vol/bind10506
ISSN0302-9743

Citer dette

Cassez, F., Jensen, P. G., & Larsen, K. G. (2017). Refinement of Trace Abstraction for Real-Time Programs. I Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings (s. 42-58). Springer. Lecture Notes in Computer Science, Bind. 10506 https://doi.org/10.1007/978-3-319-67089-8_4
Cassez, Franck ; Jensen, Peter Gjøl ; Larsen, Kim Guldstrand. / Refinement of Trace Abstraction for Real-Time Programs. Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, 2017. s. 42-58 (Lecture Notes in Computer Science, Bind 10506).
@inproceedings{89ed0130826c4bdda5d76943f2d00b32,
title = "Refinement of Trace Abstraction for Real-Time Programs",
author = "Franck Cassez and Jensen, {Peter Gj{\o}l} and Larsen, {Kim Guldstrand}",
year = "2017",
month = "9",
day = "7",
doi = "10.1007/978-3-319-67089-8_4",
language = "English",
isbn = "978-3-319-67088-1",
pages = "42--58",
booktitle = "Reachability Problems",
publisher = "Springer",
address = "Germany",

}

Cassez, F, Jensen, PG & Larsen, KG 2017, Refinement of Trace Abstraction for Real-Time Programs. i Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, Lecture Notes in Computer Science, bind 10506, s. 42-58, London, Storbritannien, 07/09/2017. https://doi.org/10.1007/978-3-319-67089-8_4

Refinement of Trace Abstraction for Real-Time Programs. / Cassez, Franck; Jensen, Peter Gjøl; Larsen, Kim Guldstrand.

Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, 2017. s. 42-58 (Lecture Notes in Computer Science, Bind 10506).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Refinement of Trace Abstraction for Real-Time Programs

AU - Cassez, Franck

AU - Jensen, Peter Gjøl

AU - Larsen, Kim Guldstrand

PY - 2017/9/7

Y1 - 2017/9/7

U2 - 10.1007/978-3-319-67089-8_4

DO - 10.1007/978-3-319-67089-8_4

M3 - Article in proceeding

SN - 978-3-319-67088-1

SP - 42

EP - 58

BT - Reachability Problems

PB - Springer

ER -

Cassez F, Jensen PG, Larsen KG. Refinement of Trace Abstraction for Real-Time Programs. I Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer. 2017. s. 42-58. (Lecture Notes in Computer Science, Bind 10506). https://doi.org/10.1007/978-3-319-67089-8_4