Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics <pre>@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},
}
</pre>