Probabilistic duration calculus for continuous time (1994)

Cached

Download Links

by Dang Van Hung , Zhou Chaochen
Venue:Formal Aspects of Computing
Citations:8 - 3 self