Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
@inproceedings{Autexier-et-al-11-a, author = {Serge Autexier and Catalin David and Dominik Dietrich and Michael Kohlhase and Vyacheslav Zholudev }, editor = {James H. Davenport and William Farmer and Florian Rabe and Joseph Urban}, booktitle = {Proceedings of Calculemus/MKM 2011}, title = {Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics }, number = {6824}, series = {LNAI}, publisher = {Springer-Verlag Berlin Heidelberg}, pages = {164-179}, month = {july}, year = {2011}, }