Automatic verification of sequential infinite-state processes /
Disimpan dalam:
| Pengarang Utama: | |
|---|---|
| Format: | Buku |
| Bahasa: | English |
| Diterbitkan: |
Berlin ; New York :
Springer,
c1997.
|
| Siri: | Lecture notes in computer science ;
1354. |
| Subjek-subjek: | |
| Penanda-penanda: |
Tambah Penanda
Tiada Penanda, Jadilah orang pertama menanda rekod ini!
|
Tiada ulasan ditemui untuk rekod ini.