Semantic Scholar Open Access 1986 1141 sitasi

“Sometimes” and “not never” revisited: on branching versus linear time temporal logic

E. Emerson Joseph Y. Halpern

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

E. Emerson

Joseph Y. Halpern

Format Sitasi

APA MLA BibTeX

Emerson, E., Halpern, J.Y. (1986). “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. https://doi.org/10.1145/4904.4999

Akses Cepat

Lihat di Sumber doi.org/10.1145/4904.4999

Informasi Jurnal

Tahun Terbit: 1986
Bahasa: en
Total Sitasi: 1141×
Sumber Database: Semantic Scholar
DOI: 10.1145/4904.4999
Akses: Open Access ✓