@Article{ars-2-233-2004,
AUTHOR = {Garbe, H. and Richter, R. and Jentschel, H.-J.},
TITLE = {Circuit architecture derivation starting from a formal requirements specification considering a DDS as example},
JOURNAL = {Advances in Radio Science},
VOLUME = {2},
YEAR = {2004},
PAGES = {233--236},
URL = {http://www.adv-radio-sci.net/2/233/2004/},
DOI = {10.5194/ars-2-233-2004}
}