%0 Conference Paper %1 conf/ifip10-3/GieseKN02 %A Giese, Holger %A Kardos, Martin %A Nickel, Ulrich %B DIPES %D 2002 %E Kleinjohann, Bernd %E Kim, K. H. %E Kleinjohann, Lisa %E Rettberg, Achim %I Kluwer %K dblp %P 71-80 %T Towards Design Verification and Validation at Multiple Levels of Abstraction. %U http://dblp.uni-trier.de/db/conf/ifip10-3/dipes2002.html#GieseKN02 %V 219 %@ 1-4020-7156-6

@inproceedings{conf/ifip10-3/GieseKN02, added-at = {2012-02-26T00:00:00.000+0100}, author = {Giese, Holger and Kardos, Martin and Nickel, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/29075753185f0eac35bf09d3486c1356e/dblp}, booktitle = {DIPES}, crossref = {conf/ifip10-3/2002dipes}, editor = {Kleinjohann, Bernd and Kim, K. H. and Kleinjohann, Lisa and Rettberg, Achim}, interhash = {c4fda824e8a2113e06462fbf093fcc13}, intrahash = {9075753185f0eac35bf09d3486c1356e}, isbn = {1-4020-7156-6}, keywords = {dblp}, pages = {71-80}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2012-02-28T11:38:20.000+0100}, title = {Towards Design Verification and Validation at Multiple Levels of Abstraction.}, url = {http://dblp.uni-trier.de/db/conf/ifip10-3/dipes2002.html#GieseKN02}, volume = 219, year = 2002 }