Bookmark Saya

Semantic Scholar Open Access 1996 1172 sitasi

Partial-Order Methods for the Verification of Concurrent Systems

Patrice Godefroid
Lihat Sumber DOI

Topik & Kata Kunci

Mathematics Computer Science

Penulis (1)

P

Patrice Godefroid

Format Sitasi

APA MLA BibTeX
Godefroid, P. (1996). Partial-Order Methods for the Verification of Concurrent Systems. https://doi.org/10.1007/3-540-60761-7

Akses Cepat

Lihat di Sumber doi.org/10.1007/3-540-60761-7
Informasi Jurnal
Tahun Terbit
1996
Bahasa
en
Total Sitasi
1172×
Sumber Database
Semantic Scholar
DOI
10.1007/3-540-60761-7
Akses
Open Access ✓