Bookmark Saya

Semantic Scholar Open Access 1990 1112 sitasi

Automata For Modeling Real-Time Systems

R. Alur D. Dill
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

R

R. Alur

D

D. Dill

Format Sitasi

APA MLA BibTeX
Alur, R., Dill, D. (1990). Automata For Modeling Real-Time Systems. https://doi.org/10.1007/BFb0032042

Akses Cepat

PDF tidak tersedia langsung

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