Searching for "Duration Calculus Logical Foundations." – sorted by Relevance.
-
Bibliography
- .R. Hansen and C. Zhou. Duration calculus: Logical foundations. Formal Aspects of Computing, 9:283--330, 1997
- Add To MetaCart

