%0 Conference Paper %1 conf/rsp/Drechsler04 %A Drechsler, Rolf %B IEEE International Workshop on Rapid System Prototyping %D 2004 %I IEEE Computer Society %K dblp %P 2-5 %T Towards Formal Verification on the System Level. %U http://dblp.uni-trier.de/db/conf/rsp/rsp2004.html#Drechsler04 %@ 0-7695-2159-2

@inproceedings{conf/rsp/Drechsler04, added-at = {2004-08-25T00:00:00.000+0200}, author = {Drechsler, Rolf}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2042fd1d1d50db267fb56e9327163da9d/dblp}, booktitle = {IEEE International Workshop on Rapid System Prototyping}, crossref = {conf/rsp/2004}, ee = {http://doi.ieeecomputersociety.org/10.1109/RSP.2004.43}, interhash = {9f178351c8023a9c3608f03817e66a80}, intrahash = {042fd1d1d50db267fb56e9327163da9d}, isbn = {0-7695-2159-2}, keywords = {dblp}, pages = {2-5}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T16:34:41.000+0100}, title = {Towards Formal Verification on the System Level.}, url = {http://dblp.uni-trier.de/db/conf/rsp/rsp2004.html#Drechsler04}, year = 2004 }