Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings /
Đã lưu trong:
| Tác giả khác: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Berlin ; New York :
Springer-Verlag,
c1990.
|
| Loạt: | Lecture notes in computer science ;
407. |
| Những chủ đề: |
CARM 1 Store
| Số hiệu: |
A2:AL17F0 C05334 |
|---|---|
| Sao chép 1 | Sẵn có Đặt Giữ |