Branching within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity
Massimo Franceschet, Angelo MontanariVolume:
1
Language:
english
DOI:
10.1023/a:1024643624349
Date:
September, 2003
File:
PDF, 270 KB
english, 2003