Semantic Scholar Open Access 1995 592 sitasi

Temporal logic

P. Øhrstrøm

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science Mathematics

Penulis (1)

P

P. Øhrstrøm

Format Sitasi

APA MLA BibTeX

Øhrstrøm, P. (1995). Temporal logic. https://doi.org/10.1007/978-0-585-37463-5

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1007/978-0-585-37463-5

Informasi Jurnal

Tahun Terbit: 1995
Bahasa: en
Total Sitasi: 592×
Sumber Database: Semantic Scholar
DOI: 10.1007/978-0-585-37463-5
Akses: Open Access ✓