%0 Conference Paper %1 conf/fdl/KuperBK10 %A Kuper, Jan %A Baaij, Christiaan %A Kooijman, Matthijs %B FDL %D 2010 %E Morawiec, Adam %E Hinderscheit, Jinnie %I ECSI, Electronic Chips & Systems design Initiative %K dblp %P 178-183 %T Exercises in Architecture Specification Using CLaSH. %U http://dblp.uni-trier.de/db/conf/fdl/fdl2010.html#KuperBK10

@inproceedings{conf/fdl/KuperBK10, added-at = {2011-02-25T00:00:00.000+0100}, author = {Kuper, Jan and Baaij, Christiaan and Kooijman, Matthijs}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f0ab6a13fc627590d3c09c463b697bbb/dblp}, booktitle = {FDL}, crossref = {conf/fdl/2010}, editor = {Morawiec, Adam and Hinderscheit, Jinnie}, ee = {http://www.ecsi.org/fdl2010/}, interhash = {e380904f7c2338fabd885febf004373b}, intrahash = {f0ab6a13fc627590d3c09c463b697bbb}, keywords = {dblp}, pages = {178-183}, publisher = {ECSI, Electronic Chips & Systems design Initiative}, timestamp = {2016-02-02T11:46:41.000+0100}, title = {Exercises in Architecture Specification Using CLaSH.}, url = {http://dblp.uni-trier.de/db/conf/fdl/fdl2010.html#KuperBK10}, year = 2010 }