%0 Conference Paper %1 conf/wsc/RuessM03 %A Rueß, Harald %A de Moura, Leonardo Mendonça %B WSC %D 2003 %E Chick, Stephen E. %E Sanchez, Paul J. %E Ferrin, David M. %E Morrice, Douglas J. %I IEEE Computer Society %K dblp %P 888-896 %T Simulation and verification I: from simulation to verification (and back). %U http://dblp.uni-trier.de/db/conf/wsc/wsc2003.html#RuessM03 %@ 0-7803-8132-7

@inproceedings{conf/wsc/RuessM03, added-at = {2023-03-24T00:00:00.000+0100}, author = {Rueß, Harald and de Moura, Leonardo Mendonça}, biburl = {https://www.bibsonomy.org/bibtex/202d1f705b45da173187041fde6aa0151/dblp}, booktitle = {WSC}, crossref = {conf/wsc/2003}, editor = {Chick, Stephen E. and Sanchez, Paul J. and Ferrin, David M. and Morrice, Douglas J.}, ee = {https://dl.acm.org/citation.cfm?id=1030935}, interhash = {9607c88b65565b348fd96315a1954d34}, intrahash = {02d1f705b45da173187041fde6aa0151}, isbn = {0-7803-8132-7}, keywords = {dblp}, pages = {888-896}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T16:46:29.000+0200}, title = {Simulation and verification I: from simulation to verification (and back).}, url = {http://dblp.uni-trier.de/db/conf/wsc/wsc2003.html#RuessM03}, year = 2003 }