DMCA
A Logic for Reasoning about Time and Reliability (1994)
by
Hans Hansson
,
Bengt Jonsson
Venue: | Formal Aspects of Computing |
Citations: | 370 - 1 self |