Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fates/ArmoniKTVZ06
%A Armoni, Roy
%A Korchemny, Dmitry
%A Tiemeyer, Andreas
%A Vardi, Moshe Y.
%A Zbar, Yael
%B FATES/RV
%D 2006
%E Havelund, Klaus
%E Núñez, Manuel
%E Rosu, Grigore
%E Wolff, Burkhart
%I Springer
%K dblp
%P 163-177
%T Deterministic Dynamic Monitors for Linear-Time Assertions.
%U http://dblp.uni-trier.de/db/conf/fates/fates2006.html#ArmoniKTVZ06
%V 4262
%@ 3-540-49699-8
@inproceedings{conf/fates/ArmoniKTVZ06,
added-at = {2017-05-26T00:00:00.000+0200},
author = {Armoni, Roy and Korchemny, Dmitry and Tiemeyer, Andreas and Vardi, Moshe Y. and Zbar, Yael},
biburl = {https://www.bibsonomy.org/bibtex/2fd44b2fa67368591b863cef8afb4fdab/dblp},
booktitle = {FATES/RV},
crossref = {conf/fates/2006},
editor = {Havelund, Klaus and Núñez, Manuel and Rosu, Grigore and Wolff, Burkhart},
ee = {https://doi.org/10.1007/11940197_11},
interhash = {eb1ab1093621ad59e10d2b9d54e0a86d},
intrahash = {fd44b2fa67368591b863cef8afb4fdab},
isbn = {3-540-49699-8},
keywords = {dblp},
pages = {163-177},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:11:49.000+0200},
title = {Deterministic Dynamic Monitors for Linear-Time Assertions.},
url = {http://dblp.uni-trier.de/db/conf/fates/fates2006.html#ArmoniKTVZ06},
volume = 4262,
year = 2006
}