A logic for reasoning about time and reliability
Work
Year: 1994
Type: article
Source: Formal Aspects of Computing
Authors Hans Hansson, Bengt Jönsson
Institution Uppsala University
Cites: 54
Cited by: 1,351
Related to: 10
FWCI: 4.375
Citation percentile (by year/subfield): 98.89
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze