%0 Conference Paper %1 conf/memocode/EvekingBSSN07 %A Eveking, Hans %A Braun, Martin %A Schickel, Martin %A Schweikert, Martin %A Nimbler, Volker %B MEMOCODE %D 2007 %I IEEE Computer Society %K dblp %P 85-86 %T Multi-Level Assertion-Based Design. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2007.html#EvekingBSSN07 %@ 1-4244-1050-9

@inproceedings{conf/memocode/EvekingBSSN07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Eveking, Hans and Braun, Martin and Schickel, Martin and Schweikert, Martin and Nimbler, Volker}, biburl = {https://www.bibsonomy.org/bibtex/2d36229b050b5120f441dbf32761ac411/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2007}, ee = {http://dl.acm.org/citation.cfm?id=1340623}, interhash = {de487df491ae55828b10cdd5cacb7a0a}, intrahash = {d36229b050b5120f441dbf32761ac411}, isbn = {1-4244-1050-9}, keywords = {dblp}, pages = {85-86}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:28:01.000+0200}, title = {Multi-Level Assertion-Based Design.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2007.html#EvekingBSSN07}, year = 2007 }