Metric temporal logic revisited

From MaRDI portal
Publication:266865

DOI10.1007/s00236-015-0243-0zbMath1339.03019OpenAlexW2286903566MaRDI QIDQ266865

M. A. Reynolds

Publication date: 7 April 2016

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-015-0243-0




Related Items (1)



Cites Work


This page was built for publication: Metric temporal logic revisited