Bookmark Saya

Semantic Scholar Open Access 1994 7571 sitasi

A Theory of Timed Automata

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. (1994). A Theory of Timed Automata. https://doi.org/10.1016/0304-3975(94)90010-8

Akses Cepat

Lihat di Sumber doi.org/10.1016/0304-3975(94)90010-8
Informasi Jurnal
Tahun Terbit
1994
Bahasa
en
Total Sitasi
7571×
Sumber Database
Semantic Scholar
DOI
10.1016/0304-3975(94)90010-8
Akses
Open Access ✓