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/cav/AbarbanelBGKW00
%A Abarbanel, Yael
%A Beer, Ilan
%A Gluhovsky, Leonid
%A Keidar, Sharon
%A Wolfsthal, Yaron
%B CAV
%D 2000
%E Emerson, E. Allen
%E Sistla, A. Prasad
%I Springer
%K dblp
%P 538-542
%T FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.
%U http://dblp.uni-trier.de/db/conf/cav/cav2000.html#AbarbanelBGKW00
%V 1855
%@ 3-540-67770-4
@inproceedings{conf/cav/AbarbanelBGKW00,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Abarbanel, Yael and Beer, Ilan and Gluhovsky, Leonid and Keidar, Sharon and Wolfsthal, Yaron},
biburl = {https://www.bibsonomy.org/bibtex/241dfa5a96702d988d561ee4c28ba51a9/dblp},
booktitle = {CAV},
crossref = {conf/cav/2000},
editor = {Emerson, E. Allen and Sistla, A. Prasad},
ee = {https://doi.org/10.1007/10722167_40},
interhash = {0c1c7543325bbfd9fae4b081ae81c299},
intrahash = {41dfa5a96702d988d561ee4c28ba51a9},
isbn = {3-540-67770-4},
keywords = {dblp},
pages = {538-542},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:39:09.000+0200},
title = {FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2000.html#AbarbanelBGKW00},
volume = 1855,
year = 2000
}