Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
A logic for reasoning about time and reliability
Authors:
Hans Hansson Bengt Jonsson
Citation:
Hans Hansson et Bengt Jonsson, A logic for reasoning about time and reliability, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 512-535
Risultati:
1-1
|