%0 Conference Paper %1 conf/charme/BarringerGMW95 %A Barringer, Howard %A Gough, Graham %A Monahan, Brian %A Williams, Alan R. %B CHARME %D 1995 %E Camurati, Paolo %E Eveking, Hans %I Springer %K dblp %P 225-245 %T Formal support for the ELLA hardwar description language. %U http://dblp.uni-trier.de/db/conf/charme/charme1995.html#BarringerGMW95 %V 987 %@ 3-540-60385-9

@inproceedings{conf/charme/BarringerGMW95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Barringer, Howard and Gough, Graham and Monahan, Brian and Williams, Alan R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ed3b7ce0f4efc2b8b6f0eee8d7fe87f3/dblp}, booktitle = {CHARME}, crossref = {conf/charme/1995}, editor = {Camurati, Paolo and Eveking, Hans}, ee = {https://doi.org/10.1007/3-540-60385-9_14}, interhash = {5edee856b52f25aba538af82d8c73140}, intrahash = {ed3b7ce0f4efc2b8b6f0eee8d7fe87f3}, isbn = {3-540-60385-9}, keywords = {dblp}, pages = {225-245}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:22:47.000+0200}, title = {Formal support for the ELLA hardwar description language.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme1995.html#BarringerGMW95}, volume = 987, year = 1995 }