Thomas Kropf (Ed.): Formal Hardware Verification - Methods and Systems in Comparison. Springer 1997 Lecture Notes in Computer Science ISBN 3-540-63475-4- Eduard Cerny, Francisco Corella, Michel Langevin, Xiaoyu Song, Sofiène Tahar, Zijian Zhou: Verification with Abstract State Machines Using MDGs. 79-113
- Jørgen Staunstrup: Design Verification Using Synchronized Transitions. 114-155
- Thomas Kropf: Appendix: The Common Book Examples. 330-367
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team