%0 Conference Paper %1 conf/cie/PonseZ06 %A Ponse, Alban %A van der Zwaag, Mark %B CiE %D 2006 %E Beckmann, Arnold %E Berger, Ulrich %E Löwe, Benedikt %E Tucker, John V. %I Springer %K dblp %P 445-458 %T An Introduction to Program and Thread Algebra. %U http://dblp.uni-trier.de/db/conf/cie/cie2006.html#PonseZ06 %V 3988 %@ 3-540-35466-2

@inproceedings{conf/cie/PonseZ06, added-at = {2017-06-15T00:00:00.000+0200}, author = {Ponse, Alban and van der Zwaag, Mark}, biburl = {https://www.bibsonomy.org/bibtex/2ddca0b948c5db62700b9d2a40f80ca05/dblp}, booktitle = {CiE}, crossref = {conf/cie/2006}, editor = {Beckmann, Arnold and Berger, Ulrich and Löwe, Benedikt and Tucker, John V.}, ee = {https://doi.org/10.1007/11780342_46}, interhash = {f4733b0bab7c186d025f23fda28438d7}, intrahash = {ddca0b948c5db62700b9d2a40f80ca05}, isbn = {3-540-35466-2}, keywords = {dblp}, pages = {445-458}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:08:31.000+0200}, title = {An Introduction to Program and Thread Algebra.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2006.html#PonseZ06}, volume = 3988, year = 2006 }