Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

@inproceedings{pub5724,
    author = {

Autexier, Serge
 and 

David, Catalin
 and 

Dietrich, Dominik
 and 

Kohlhase, Michael
 and 

Zholudev, Vyacheslav
},
    editor = {

Davenport, James H.
 and 

Farmer, William
 and 

Rabe, Florian
 and 

Urban, Joseph
},
    title = {Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics},
    booktitle = {Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management, located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy},
    series = {LNAI},
    year = {2011},
    month = {7},
    number = {6824},
    pages = {164--179},
    publisher = {Springer-Verlag}
}