Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric (1999)
by
Paul Curzon
,
Sofiène Tahar
,
Jianping Lu
Document Versions
| Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric –Paul Curzon , Sofiène Tahar , Jianping Lu — 1999 |
| Comparing HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch Fabric –Paul Curzon, Sofiène Tahar, Jianping Lu |
