%0 Conference Paper %1 conf/rv/Kugler13 %A Kugler, Hillel %B RV %D 2013 %E Legay, Axel %E Bensalem, Saddek %I Springer %K dblp %P 384-385 %T Runtime Verification and Refutation for Biological Systems. %U http://dblp.uni-trier.de/db/conf/rv/rv2013.html#Kugler13 %V 8174 %@ 978-3-642-40786-4

@inproceedings{conf/rv/Kugler13, added-at = {2019-10-19T00:00:00.000+0200}, author = {Kugler, Hillel}, biburl = {https://www.bibsonomy.org/bibtex/259d091812986663d3cbc597961ffcbf3/dblp}, booktitle = {RV}, crossref = {conf/rv/2013}, editor = {Legay, Axel and Bensalem, Saddek}, ee = {https://doi.org/10.1007/978-3-642-40787-1_28}, interhash = {34688826c8332ebbb65a10f799cb738c}, intrahash = {59d091812986663d3cbc597961ffcbf3}, isbn = {978-3-642-40786-4}, keywords = {dblp}, pages = {384-385}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:09:49.000+0200}, title = {Runtime Verification and Refutation for Biological Systems.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2013.html#Kugler13}, volume = 8174, year = 2013 }