%0 Conference Paper %1 conf/async/JosephsLUV94 %A Josephs, Mark B. %A Lucassen, Paul G. %A Udding, Jan Tijmen %A Verhoeff, Tom %B ASYNC %D 1994 %I IEEE %K dblp %P 206-215 %T Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra. %U http://dblp.uni-trier.de/db/conf/async/async1994.html#JosephsLUV94 %@ 0-8186-6210-7

@inproceedings{conf/async/JosephsLUV94, added-at = {2017-05-23T00:00:00.000+0200}, author = {Josephs, Mark B. and Lucassen, Paul G. and Udding, Jan Tijmen and Verhoeff, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2d2653ce3e6e9e8aaedc1e06a29f1ab04/dblp}, booktitle = {ASYNC}, crossref = {conf/async/1994}, ee = {https://doi.org/10.1109/ASYNC.1994.656313}, interhash = {7cd61f96af7892a7bcbdabfa6c48545e}, intrahash = {d2653ce3e6e9e8aaedc1e06a29f1ab04}, isbn = {0-8186-6210-7}, keywords = {dblp}, pages = {206-215}, publisher = {IEEE}, timestamp = {2019-10-17T16:06:00.000+0200}, title = {Formal design of an asynchronous DSP counterflow pipeline: a case study in handshake algebra.}, url = {http://dblp.uni-trier.de/db/conf/async/async1994.html#JosephsLUV94}, year = 1994 }