Bookmark Saya

Semantic Scholar Open Access 1990 1459 sitasi

A logic for reasoning about time and reliability

H. Hansson B. Jonsson
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

H

H. Hansson

B

B. Jonsson

Format Sitasi

APA MLA BibTeX
Hansson, H., Jonsson, B. (1990). A logic for reasoning about time and reliability. https://doi.org/10.1007/BF01211866

Akses Cepat

Lihat di Sumber doi.org/10.1007/BF01211866
Informasi Jurnal
Tahun Terbit
1990
Bahasa
en
Total Sitasi
1459×
Sumber Database
Semantic Scholar
DOI
10.1007/BF01211866
Akses
Open Access ✓