Bookmark Saya

Semantic Scholar Open Access 1990 1135 sitasi

Specifying real-time properties with metric temporal logic

R. Koymans
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

R

R. Koymans

Format Sitasi

APA MLA BibTeX
Koymans, R. (1990). Specifying real-time properties with metric temporal logic. https://doi.org/10.1007/BF01995674

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1007/BF01995674
Informasi Jurnal
Tahun Terbit
1990
Bahasa
en
Total Sitasi
1135×
Sumber Database
Semantic Scholar
DOI
10.1007/BF01995674
Akses
Open Access ✓