A streamlined model of conditional simple temporal networks -- semantics and equivalence results
From MaRDI portal
Publication:6486431
DOI10.4230/lipics.time.2017.10MaRDI QIDQ6486431
Luke Hunsberger, Romeo Rizzi, Massimo Cairo, Roberto Posenato
Publication date: 3 February 2023
Published in: 1515.68288 (Search for Journal in Brave)
Related Items (1)
This page was built for publication: A streamlined model of conditional simple temporal networks -- semantics and equivalence results