Bookmark Saya

Semantic Scholar Open Access 2004 3366 sitasi

A Temporal Logic of Nested Calls and Returns

R. Alur K. Etessami P. Madhusudan
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

R

R. Alur

K

K. Etessami

P

P. Madhusudan

Format Sitasi

APA MLA BibTeX
Alur, R., Etessami, K., Madhusudan, P. (2004). A Temporal Logic of Nested Calls and Returns. https://doi.org/10.1007/978-3-540-24730-2_35

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1007/978-3-540-24730-2_35
Informasi Jurnal
Tahun Terbit
2004
Bahasa
en
Total Sitasi
3366×
Sumber Database
Semantic Scholar
DOI
10.1007/978-3-540-24730-2_35
Akses
Open Access ✓