Bookmark Saya

Semantic Scholar Open Access 1981 645 sitasi

The temporal logic of branching time

M. Ben-Ari A. Pnueli Z. Manna
Lihat Sumber DOI

Topik & Kata Kunci

Mathematics Computer Science

Penulis (3)

M

M. Ben-Ari

A

A. Pnueli

Z

Z. Manna

Format Sitasi

APA MLA BibTeX
Ben-Ari, M., Pnueli, A., Manna, Z. (1981). The temporal logic of branching time. https://doi.org/10.1007/BF01257083

Akses Cepat

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