Refinement of Trace Abstraction for Real-Time Programs

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

4 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

Citationsformater

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