%0 Conference Paper %1 conf/ctrs/BasinW94 %A Basin, David A. %A Walsh, Toby %B CTRS %D 1994 %E Dershowitz, Nachum %E Lindenstrauss, Naomi %I Springer %K dblp %P 15-30 %T A Calculus for Rippling. %U http://dblp.uni-trier.de/db/conf/ctrs/ctrs94.html#BasinW94 %V 968 %@ 3-540-60381-6

@inproceedings{conf/ctrs/BasinW94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Basin, David A. and Walsh, Toby}, biburl = {https://www.bibsonomy.org/bibtex/2536eface3b0a7cbe58fcc00afe32cfda/dblp}, booktitle = {CTRS}, crossref = {conf/ctrs/1994}, editor = {Dershowitz, Nachum and Lindenstrauss, Naomi}, ee = {https://doi.org/10.1007/3-540-60381-6_2}, interhash = {3b0b20c318a5b4de3706daa7dff5385d}, intrahash = {536eface3b0a7cbe58fcc00afe32cfda}, isbn = {3-540-60381-6}, keywords = {dblp}, pages = {15-30}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:12:51.000+0200}, title = {A Calculus for Rippling.}, url = {http://dblp.uni-trier.de/db/conf/ctrs/ctrs94.html#BasinW94}, volume = 968, year = 1994 }