A first order logic for specification of timed algorithms: basic properties and a decidable class
Danièle Beauquier, Anatol SlissenkoVolume:
113
Year:
2001
Language:
english
Pages:
40
DOI:
10.1016/s0168-0072(01)00049-5
File:
PDF, 313 KB
english, 2001