Instruction list verification using a Petri net semantics

Monika Heiner, Thomas Menzel. Instruction list verification using a Petri net semantics. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998. pages 716-721, IEEE, 1998. [doi]

Abstract

Abstract is missing.