%0 Conference Paper %1 conf/mpc/SolinW06 %A Solin, Kim %A von Wright, Joakim %B MPC %D 2006 %E Uustalu, Tarmo %I Springer %K dblp %P 397-415 %T Refinement Algebra with Operators for Enabledness and Termination. %U http://dblp.uni-trier.de/db/conf/mpc/mpc2006.html#SolinW06 %V 4014 %@ 3-540-35631-2

@inproceedings{conf/mpc/SolinW06, added-at = {2017-05-22T00:00:00.000+0200}, author = {Solin, Kim and von Wright, Joakim}, biburl = {https://www.bibsonomy.org/bibtex/2e3b02cd69a66e85b9ad2b48fad46749e/dblp}, booktitle = {MPC}, crossref = {conf/mpc/2006}, editor = {Uustalu, Tarmo}, ee = {https://doi.org/10.1007/11783596_23}, interhash = {ee7387036c8f4cedb0b1fecfdd8b7811}, intrahash = {e3b02cd69a66e85b9ad2b48fad46749e}, isbn = {3-540-35631-2}, keywords = {dblp}, pages = {397-415}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:29:38.000+0200}, title = {Refinement Algebra with Operators for Enabledness and Termination.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc2006.html#SolinW06}, volume = 4014, year = 2006 }