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/dac/BalarinHJLS96
%A Balarin, Felice
%A Hsieh, Harry
%A Jurecska, Attila
%A Lavagno, Luciano
%A Sangiovanni-Vincentelli, Alberto L.
%B DAC
%D 1996
%E Pennino, Thomas
%E Yoffa, Ellen J.
%I ACM Press
%K dblp
%P 568-571
%T Formal Verification of Embedded Systems based on CFSM Networks.
%U http://dblp.uni-trier.de/db/conf/dac/dac96.html#BalarinHJLS96
%@ 0-89791-779-0
@inproceedings{conf/dac/BalarinHJLS96,
added-at = {2017-03-16T00:00:00.000+0100},
author = {Balarin, Felice and Hsieh, Harry and Jurecska, Attila and Lavagno, Luciano and Sangiovanni-Vincentelli, Alberto L.},
biburl = {https://www.bibsonomy.org/bibtex/271bd44581f29f101677dea9f9fc8a95d/dblp},
booktitle = {DAC},
crossref = {conf/dac/1996},
editor = {Pennino, Thomas and Yoffa, Ellen J.},
ee = {http://doi.acm.org/10.1145/240518.240626},
interhash = {9b21e93aecaed6494cd44433d1e32c9a},
intrahash = {71bd44581f29f101677dea9f9fc8a95d},
isbn = {0-89791-779-0},
keywords = {dblp},
pages = {568-571},
publisher = {ACM Press},
timestamp = {2017-03-17T11:39:35.000+0100},
title = {Formal Verification of Embedded Systems based on CFSM Networks.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac96.html#BalarinHJLS96},
year = 1996
}