Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
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
Risultati:
1-1
|