Login
|
New Account
ITA
ENG
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
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
512 - 535
Database
ACNP
SICI code