%0 Conference Paper %1 conf/ifip/PilotyBBDHS80 %A Piloty, Robert %A Barbacci, Mario %A Borrione, Dominique %A Dietmeyer, Donald L. %A Hill, Frederick J. %A Skelly, Patrick %B IFIP Congress %D 1980 %K dblp %P 199-204 %T An Overview of CONLAN: A Formal Construction Method for Hardware Description Language. %U http://dblp.uni-trier.de/db/conf/ifip/ifip80.html#PilotyBBDHS80

@inproceedings{conf/ifip/PilotyBBDHS80, added-at = {2005-01-19T00:00:00.000+0100}, author = {Piloty, Robert and Barbacci, Mario and Borrione, Dominique and Dietmeyer, Donald L. and Hill, Frederick J. and Skelly, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2c07bf916e49fb73a31652ec38029a6da/dblp}, booktitle = {IFIP Congress}, date = {2005-01-19}, description = {dblp}, interhash = {91787857062267f77b61741fba4f4efc}, intrahash = {c07bf916e49fb73a31652ec38029a6da}, keywords = {dblp}, pages = {199-204}, timestamp = {2005-01-19T00:00:00.000+0100}, title = {An Overview of CONLAN: A Formal Construction Method for Hardware Description Language.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip80.html#PilotyBBDHS80}, year = 1980 }