[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Gleb Naumovich & Lori A Clarke
- Classifying Properties: An alternative to the Safety-Liveness Classification
- =IDEA TEMPORAL LOGIC SPECIFICATION ANALYSIS SAFETY LIVENESS
- classifies properties in terms (1) that describe finite, infinite, or both kinds of sequences events, pus (2) that must be checked on finite, infinite, or both kinds of sequences of events.
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]