![](/img/cover-not-exists.png)
[IEEE Design Languages (FDL) - Stuttgart (2008.09.23-2008.09.25)] 2008 Forum on Specification, Verification and Design Languages - The AutoSUN verification environment
Grimm, Christoph, Gravogl, Klaus, Schupfer, Florian, Neumann, IngmarYear:
2008
Language:
english
DOI:
10.1109/fdl.2008.4641459
File:
PDF, 407 KB
english, 2008