Safety,liveness and fairness in temporal logic

Authors
A.Prasad Sistla
Citation
A.prasad Sistla, Safety,liveness and fairness in temporal logic, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 495-511
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
5
Year of publication
1994
Pages
495 - 511
Database
ACNP
SICI code