Semantic Scholar Open Access 1982 780 sitasi

Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons

E. Emerson E. Clarke

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

E. Emerson

E. Clarke

Format Sitasi

APA MLA BibTeX

Emerson, E., Clarke, E. (1982). Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons. https://doi.org/10.1016/0167-6423(83)90017-5

Akses Cepat

Lihat di Sumber doi.org/10.1016/0167-6423(83)90017-5

Informasi Jurnal

Tahun Terbit: 1982
Bahasa: en
Total Sitasi: 780×
Sumber Database: Semantic Scholar
DOI: 10.1016/0167-6423(83)90017-5
Akses: Open Access ✓