Refinement of Trace Abstraction for Real-Time Programs

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

5 Citations (Scopus)
Original languageEnglish
Title of host publicationReachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
PublisherSpringer
Publication date7 Sep 2017
Pages42-58
ISBN (Print)978-3-319-67088-1
ISBN (Electronic)978-3-319-67089-8
DOIs
Publication statusPublished - 7 Sep 2017
EventInternational Workshop on Reachability Problems - London, United Kingdom
Duration: 7 Sep 20179 Sep 2017

Conference

ConferenceInternational Workshop on Reachability Problems
CountryUnited Kingdom
CityLondon
Period07/09/201709/09/2017
SeriesLecture Notes in Computer Science
Volume10506
ISSN0302-9743

Cite this