%0 Conference Paper %1 conf/esec/ThompsonHM99 %A Thompson, Jeffrey M. %A Heimdahl, Mats Per Erik %A Miller, Steven P. %B ESEC / SIGSOFT FSE %D 1999 %E Nierstrasz, Oscar %E Lemoine, Michel %I Springer %K dblp %P 163-179 %T Specification-Based Prototyping for Embedded Systems. %U http://dblp.uni-trier.de/db/conf/esec/esec99.html#ThompsonHM99 %V 1687 %@ 3-540-66538-2

@inproceedings{conf/esec/ThompsonHM99, added-at = {2021-07-27T00:00:00.000+0200}, author = {Thompson, Jeffrey M. and Heimdahl, Mats Per Erik and Miller, Steven P.}, biburl = {https://www.bibsonomy.org/bibtex/248253d634bde75366b77417c95060048/dblp}, booktitle = {ESEC / SIGSOFT FSE}, crossref = {conf/esec/1999}, editor = {Nierstrasz, Oscar and Lemoine, Michel}, ee = {https://doi.org/10.1145/318774.318940}, interhash = {0f2f071c4fa1c3f957b5fb48f7fd109d}, intrahash = {48253d634bde75366b77417c95060048}, isbn = {3-540-66538-2}, keywords = {dblp}, pages = {163-179}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:14:45.000+0200}, title = {Specification-Based Prototyping for Embedded Systems.}, url = {http://dblp.uni-trier.de/db/conf/esec/esec99.html#ThompsonHM99}, volume = 1687, year = 1999 }