Semantic Scholar Open Access 2013 720 sitasi

Linear Temporal Logic and Linear Dynamic Logic on Finite Traces

G. D. Giacomo Moshe Y. Vardi

Lihat Sumber

Topik & Kata Kunci

Mathematics Computer Science

Penulis (2)

G. D. Giacomo

Moshe Y. Vardi

Format Sitasi

APA MLA BibTeX

Giacomo, G.D., Vardi, M.Y. (2013). Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. https://www.semanticscholar.org/paper/ab7466983afe852ab7b13e0e2eea2e741088b40d

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2013
Bahasa: en
Total Sitasi: 720×
Sumber Database: Semantic Scholar
Akses: Open Access ✓