%0 Conference Paper %1 conf/dac/FlakeMM83 %A Flake, Peter %A Moorby, Philip %A Musgrave, Gerry %B DAC %D 1983 %E Radke, Charles E. %I ACM/IEEE %K dblp %P 615-618 %T An algebra for logic strength simulation. %U http://dblp.uni-trier.de/db/conf/dac/dac1983.html#FlakeMM83 %@ 0-8186-0026-8

@inproceedings{conf/dac/FlakeMM83, added-at = {2012-03-01T00:00:00.000+0100}, author = {Flake, Peter and Moorby, Philip and Musgrave, Gerry}, biburl = {https://www.bibsonomy.org/bibtex/2337fc54794aa1dae076522449af90b34/dblp}, booktitle = {DAC}, crossref = {conf/dac/1983}, editor = {Radke, Charles E.}, ee = {http://dl.acm.org/citation.cfm?id=800733}, interhash = {fbc0fec817a530ef625ef5b3099fbbc8}, intrahash = {337fc54794aa1dae076522449af90b34}, isbn = {0-8186-0026-8}, keywords = {dblp}, pages = {615-618}, publisher = {ACM/IEEE}, timestamp = {2012-03-02T11:35:01.000+0100}, title = {An algebra for logic strength simulation.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac1983.html#FlakeMM83}, year = 1983 }