Semantic Scholar Open Access 1986 3985 sitasi

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. Clarke E. Emerson A. Sistla

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

E. Clarke

E. Emerson

A. Sistla

Format Sitasi

APA MLA BibTeX

Clarke, E., Emerson, E., Sistla, A. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. https://doi.org/10.1145/5397.5399

Akses Cepat

Lihat di Sumber doi.org/10.1145/5397.5399

Informasi Jurnal

Tahun Terbit: 1986
Bahasa: en
Total Sitasi: 3985×
Sumber Database: Semantic Scholar
DOI: 10.1145/5397.5399
Akses: Open Access ✓