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/KukulaS00
%A Kukula, James H.
%A Shiple, Thomas R.
%B CAV
%D 2000
%E Emerson, E. Allen
%E Sistla, A. Prasad
%I Springer
%K dblp
%P 113-123
%T Building Circuits from Relations.
%U http://dblp.uni-trier.de/db/conf/cav/cav2000.html#KukulaS00
%V 1855
%@ 3-540-67770-4
@inproceedings{conf/cav/KukulaS00,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Kukula, James H. and Shiple, Thomas R.},
biburl = {https://www.bibsonomy.org/bibtex/27f621873638e3e4e1af6b56294768f4d/dblp},
booktitle = {CAV},
crossref = {conf/cav/2000},
editor = {Emerson, E. Allen and Sistla, A. Prasad},
ee = {https://doi.org/10.1007/10722167_12},
interhash = {997d2d8ece41a8733b50bd7fa6668a2a},
intrahash = {7f621873638e3e4e1af6b56294768f4d},
isbn = {3-540-67770-4},
keywords = {dblp},
pages = {113-123},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T14:39:09.000+0200},
title = {Building Circuits from Relations.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2000.html#KukulaS00},
volume = 1855,
year = 2000
}