Bookmark Saya

Semantic Scholar Open Access 1980 418 sitasi

"Sometime" is sometimes "not never": on the temporal logic of programs

L. Lamport
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

L

L. Lamport

Format Sitasi

APA MLA BibTeX
Lamport, L. (1980). "Sometime" is sometimes "not never": on the temporal logic of programs. https://doi.org/10.1145/567446.567463

Akses Cepat

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