Bookmark Saya

Semantic Scholar Open Access 1999 745 sitasi

Model Checking of Safety Properties

O. Kupferman M. Vardi
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (2)

O

O. Kupferman

M

M. Vardi

Format Sitasi

APA MLA BibTeX
Kupferman, O., Vardi, M. (1999). Model Checking of Safety Properties. https://doi.org/10.1023/A:1011254632723

Akses Cepat

Lihat di Sumber doi.org/10.1023/A:1011254632723
Informasi Jurnal
Tahun Terbit
1999
Bahasa
en
Total Sitasi
745×
Sumber Database
Semantic Scholar
DOI
10.1023/A:1011254632723
Akses
Open Access ✓