Verification and abstraction of real-time variability-intensive systems
Crossref DOI link: https://doi.org/10.1007/s10009-019-00537-z
Published Online: 2019-09-21
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cordy, Maxime
Legay, Axel
Text and Data Mining valid from 2019-09-21
Version of Record valid from 2019-09-21
Article History
First Online: 21 September 2019