Semantic Scholar Open Access 2008 1660 sitasi

Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic

E. Clarke

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (1)

E. Clarke

Format Sitasi

APA MLA BibTeX

Clarke, E. (2008). Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic. https://doi.org/10.1007/978-3-540-69850-0_12

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber doi.org/10.1007/978-3-540-69850-0_12

Informasi Jurnal

Tahun Terbit: 2008
Bahasa: en
Total Sitasi: 1660×
Sumber Database: Semantic Scholar
DOI: 10.1007/978-3-540-69850-0_12
Akses: Open Access ✓