A Petri Net Approach for the Analysis of VHDL Descriptions

TitleA Petri Net Approach for the Analysis of VHDL Descriptions
Publication TypeBook Chapter
Year of Publication1993
AuthorsOlcoz, S, Colom JM
EditorMilne, GJ, Pierre L
Book TitleCorrect Hardware Design and Verification Methods
Series TitleLecture Notes in Computer Science
Series Volume683
Pagination15-26
PublisherSpringer-Verlag
CityBerlin
ISBN Number3-540-56778-X
Export