Dettaglio pubblicazione
2014, 2014 21st International Symposium on Temporal Representation and Reasoning, Pages 59-68
Checking interval properties of computations (04b Atto di convegno in volume)
Montanari A., Murano A., Perelli G., Peron A.
ISBN: 978-1-4799-4227-5...
keywords