Timed Modal Logics for Real-Time Systems
Patricia Bouyer, Franck Cassez, François LaroussinieVolume:
20
Language:
english
Pages:
35
DOI:
10.1007/s10849-010-9127-4
Date:
April, 2011
File:
PDF, 499 KB
english, 2011