%0 Journal Article %1 journals/entcs/AndreiK13 %A Andrei, Oana %A Kirchner, Hélène %D 2013 %J Electron. Notes Theor. Comput. Sci. %K %P 27-46 %T Runtime Verification for Biochemical Programs. %U http://dblp.uni-trier.de/db/journals/entcs/entcs297.html#AndreiK13 %V 297

@article{journals/entcs/AndreiK13, added-at = {2023-12-13T06:26:21.000+0100}, author = {Andrei, Oana and Kirchner, Hélène}, biburl = {https://www.bibsonomy.org/bibtex/223019cfac21b535c8e4b4c680f739633/admin}, ee = {https://www.wikidata.org/entity/Q62041038}, interhash = {ada7780950396f21dd6c6a78e38f5927}, intrahash = {23019cfac21b535c8e4b4c680f739633}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {}, pages = {27-46}, timestamp = {2023-12-13T06:26:21.000+0100}, title = {Runtime Verification for Biochemical Programs.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs297.html#AndreiK13}, volume = 297, year = 2013 }