@inproceedings{conf/fpl/Baranov98,
title = {CAD System for ASM and FSM Synthesis.},
author = {Samary Baranov},
booktitle = {FPL},
crossref = {conf/fpl/1998},
editor = {Reiner W. Hartenstein and Andres Keevallik},
pages = {119-128},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/fpl/fpl1998.html#Baranov98},
volume = {1482},
year = {1998},
description = {dblp},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1482&spage=0119}, isbn = {3-540-64948-4}, date = {2003-11-06},
keywords = {dblp }
}
::