A Logic for Reasoning about Time and Reliability (1994)

Cached

Download Links

by Hans Hansson , Bengt Jonsson
Venue:Formal Aspects of Computing
Citations:245 - 1 self