Bookmark Saya

Semantic Scholar Open Access 1977 1519 sitasi

The temporal logic of programs

Amir Pnueli
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

A

Amir Pnueli

Format Sitasi

APA MLA BibTeX
Pnueli, A. (1977). The temporal logic of programs. https://doi.org/10.1109/SFCS.1977.32

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1109/SFCS.1977.32
Informasi Jurnal
Tahun Terbit
1977
Bahasa
en
Total Sitasi
1519×
Sumber Database
Semantic Scholar
DOI
10.1109/SFCS.1977.32
Akses
Open Access ✓