Inproceedings,

A Duration Calculus with Infinite Intervals.

, , and .
FCT, volume 965 of Lecture Notes in Computer Science, page 16-41. Springer, (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews