Bookmark Saya

Semantic Scholar Open Access 1989 757 sitasi

A really temporal logic

R. Alur T. Henzinger
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

R

R. Alur

T

T. Henzinger

Format Sitasi

APA MLA BibTeX
Alur, R., Henzinger, T. (1989). A really temporal logic. https://doi.org/10.1145/174644.174651

Akses Cepat

Lihat di Sumber doi.org/10.1145/174644.174651
Informasi Jurnal
Tahun Terbit
1989
Bahasa
en
Total Sitasi
757×
Sumber Database
Semantic Scholar
DOI
10.1145/174644.174651
Akses
Open Access ✓