Document is current

Metric temporal logic revisited

Crossref DOI link: https://doi.org/10.1007/s00236-015-0243-0

Published Online: 2015-06-13

Published Print: 2016-04

Update policy: https://doi.org/10.1007/springer_crossmark_policy