%0 Conference Paper %1 conf/dagstuhl/SchoellerWM04 %A Schoeller, Bernd %A Widmer, Tobias %A Meyer, Bertrand %B Architecting Systems with Trustworthy Components %D 2004 %E Reussner, Ralf H. %E Stafford, Judith A. %E Szyperski, Clemens A. %I Springer %K dblp %P 48-70 %T Making Specifications Complete Through Models. %U http://dblp.uni-trier.de/db/conf/dagstuhl/trust2004.html#SchoellerWM04 %V 3938 %@ 3-540-35800-5

@inproceedings{conf/dagstuhl/SchoellerWM04, added-at = {2017-10-30T00:00:00.000+0100}, author = {Schoeller, Bernd and Widmer, Tobias and Meyer, Bertrand}, biburl = {https://www.bibsonomy.org/bibtex/20fcd5e089ce8351ce33a2a5359a673a0/dblp}, booktitle = {Architecting Systems with Trustworthy Components}, crossref = {conf/dagstuhl/2004trust}, editor = {Reussner, Ralf H. and Stafford, Judith A. and Szyperski, Clemens A.}, ee = {https://doi.org/10.1007/11786160_3}, interhash = {d591198c3b42cb5794f1260c2ada13c1}, intrahash = {0fcd5e089ce8351ce33a2a5359a673a0}, isbn = {3-540-35800-5}, keywords = {dblp}, pages = {48-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:34:28.000+0200}, title = {Making Specifications Complete Through Models.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/trust2004.html#SchoellerWM04}, volume = 3938, year = 2004 }