A logic for reasoning about time and reliability

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: Formal Aspects of Computing

Abbreviated Title: Formal Aspects of Computing

Publisher: Springer Nature

ISSN (Print): 0934-5043

ISSN (Electronic): 1433-299X

Publication date Created: September 1994

Publication date (Print): September 1994

Volume: 6

Issue: 5

Pages: 512-535

Article

DOI: 10.1007/BF01211866

SO-VID: 9896579e-72f5-4aea-ada8-45dfa582886b

History

Data availability:

Comments

Comment on this article

scite_

Cited by 208

See all cited by