External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev. Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe, editors, Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Volume 6824 of Lecture Notes in Computer Science, pages 164-179, Springer, 2011. [doi]

Authors

Serge Autexier

This author has not been identified. Look up 'Serge Autexier' in Google

Catalin David

This author has not been identified. Look up 'Catalin David' in Google

Dominik Dietrich

This author has not been identified. Look up 'Dominik Dietrich' in Google

Michael Kohlhase

This author has not been identified. Look up 'Michael Kohlhase' in Google

Vyacheslav Zholudev

This author has not been identified. Look up 'Vyacheslav Zholudev' in Google
runs on