%0 Conference Paper %1 conf/utp/StadenH12 %A van Staden, Stephan %A Hoare, Tony %B UTP %D 2012 %E Wolff, Burkhart %E Gaudel, Marie-Claude %E Feliachi, Abderrahmane %I Springer %K dblp %P 88-104 %T Algebra Unifies Operational Calculi. %U http://dblp.uni-trier.de/db/conf/utp/utp2012.html#StadenH12 %V 7681 %@ 978-3-642-35705-3

@inproceedings{conf/utp/StadenH12, added-at = {2017-05-23T00:00:00.000+0200}, author = {van Staden, Stephan and Hoare, Tony}, biburl = {https://www.bibsonomy.org/bibtex/2fbcdb704ac2f90e2c7d80b2e99472750/dblp}, booktitle = {UTP}, crossref = {conf/utp/2012}, editor = {Wolff, Burkhart and Gaudel, Marie-Claude and Feliachi, Abderrahmane}, ee = {https://doi.org/10.1007/978-3-642-35705-3_4}, interhash = {667288343b5cb9abff41dc96f9e4ac73}, intrahash = {fbcdb704ac2f90e2c7d80b2e99472750}, isbn = {978-3-642-35705-3}, keywords = {dblp}, pages = {88-104}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:29:25.000+0200}, title = {Algebra Unifies Operational Calculi.}, url = {http://dblp.uni-trier.de/db/conf/utp/utp2012.html#StadenH12}, volume = 7681, year = 2012 }