%0 Conference Paper %1 conf/mbmv/HaasGH02 %A Haas, Werner %A Gossens, Stefan %A Heinkel, Ulrich %B MBMV %D 2002 %E Ruf, Jürgen %I Shaker %K dblp %P 96-105 %T Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2002.html#HaasGH02

@inproceedings{conf/mbmv/HaasGH02, added-at = {2012-06-28T00:00:00.000+0200}, author = {Haas, Werner and Gossens, Stefan and Heinkel, Ulrich}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2aaf65081b03378a15f104685eaf6ada2/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2002}, editor = {Ruf, Jürgen}, interhash = {e9f6825c0d277208762056b775f9c00a}, intrahash = {aaf65081b03378a15f104685eaf6ada2}, keywords = {dblp}, pages = {96-105}, publisher = {Shaker}, timestamp = {2016-02-02T14:12:45.000+0100}, title = {Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA).}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2002.html#HaasGH02}, year = 2002 }