%0 Journal Article %1 journals/scp/FelgentreffPH17 %A Felgentreff, Tim %A Perscheid, Michael %A Hirschfeld, Robert %D 2017 %J Sci. Comput. Program. %K %P 4-18 %T Implementing record and refinement for debugging timing-dependent communication. %U http://dblp.uni-trier.de/db/journals/scp/scp134.html#FelgentreffPH17 %V 134

@article{journals/scp/FelgentreffPH17, added-at = {2023-12-14T15:07:45.000+0100}, author = {Felgentreff, Tim and Perscheid, Michael and Hirschfeld, Robert}, biburl = {https://www.bibsonomy.org/bibtex/27a56fcc7513843a4b6d2ffd8a39d0f59/admin}, ee = {http://dx.doi.org/10.1016/j.scico.2015.11.006}, interhash = {e786122d50460812ece19ba2a39eabaf}, intrahash = {7a56fcc7513843a4b6d2ffd8a39d0f59}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {4-18}, timestamp = {2023-12-14T15:07:45.000+0100}, title = {Implementing record and refinement for debugging timing-dependent communication.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp134.html#FelgentreffPH17}, volume = 134, year = 2017 }