It Usually Works: The Temporal Logic of Stochastic Systems (1995)

Cached

Download Links

by Adnan Aziz , Vigyan Singhal , Felice Balarin , Robert K. Brayton , Alberto L. Sangiovanni-vincentelli
Citations:85 - 0 self