On the completeness and decidability of duration calculus with iteration
Dimitar P. Guelev, Dang Van HungVolume:
337
Year:
2005
Language:
english
Pages:
27
DOI:
10.1016/j.tcs.2005.01.017
File:
PDF, 329 KB
english, 2005