Semantic Scholar
Open Access
1983
579 sitasi
What Good is Temporal Logic?
L. Lamport
Topik & Kata Kunci
Penulis (1)
L
L. Lamport
Akses Cepat
PDF tidak tersedia langsung
Cek di sumber asli →Informasi Jurnal
- Tahun Terbit
- 1983
- Bahasa
- en
- Total Sitasi
- 579×
- Sumber Database
- Semantic Scholar
- Akses
- Open Access ✓