title = {A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.},
author = {Ralf Reetz and Thomas Kropf}, journal = {Formal Methods in System Design}, number = {1/2}, pages = {73-99}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd7.html#ReetzK95}, volume = {7}, year = {1995}, description = {dblp}, date = {2002-01-03},
keywords = {dblp }
::