%0 Conference Paper %1 conf/memocode/Scheffel014 %A Scheffel, Torben %A Schmitz, Malte %B MEMOCODE %D 2014 %I IEEE %K dblp %P 52-61 %T Three-valued asynchronous distributed runtime verification. %U http://dblp.uni-trier.de/db/conf/memocode/memocode2014.html#Scheffel014

@inproceedings{conf/memocode/Scheffel014, added-at = {2017-05-23T00:00:00.000+0200}, author = {Scheffel, Torben and Schmitz, Malte}, biburl = {https://www.bibsonomy.org/bibtex/292ad6aba520f8d09ba8a4c5adb72511f/dblp}, booktitle = {MEMOCODE}, crossref = {conf/memocode/2014}, ee = {https://doi.org/10.1109/MEMCOD.2014.6961843}, interhash = {5af2f949eef995203648f6d6d42181d0}, intrahash = {92ad6aba520f8d09ba8a4c5adb72511f}, keywords = {dblp}, pages = {52-61}, publisher = {IEEE}, timestamp = {2019-10-17T12:53:37.000+0200}, title = {Three-valued asynchronous distributed runtime verification.}, url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2014.html#Scheffel014}, year = 2014 }