Representing Nondeterministic and Probabilistic Behaviour in Reactive Processes (1993)

Cached

Download Links

by Gavin Lowe
Citations:18 - 0 self