Instruction List Verification Using a Petri Net Semantics
Author: | Monika HeinerORCiD, Thomas Menzel |
---|---|
DOI: | https://doi.org/10.1109/ICSMC.1998.725498 |
ISBN: | 0-7803-4778-1 |
Title of the source (English): | 1998 IEEE International Conference on Systems, Man and Cybernetics, San Diego, Calif., USA, October 11 - 14, 1998 |
Publisher: | IEEE |
Place of publication: | Piscataway, NJ |
Document Type: | Conference Proceeding |
Language: | English |
Year of publication: | 1998 |
First Page: | 716 |
Last Page: | 721 |
Comment: | referiert |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |