External Links

Cite Key

Statistics

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

PDF

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.

Formal Management of CAD/CAM Processes

Michael Kohlhase, Johannes Lemburg, Lutz Schröder, Ewaryst Schulz. Formal Management of CAD/CAM Processes. In Ana Cavalcanti, Dennis Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Volume 5850 of Lecture Notes in Computer Science, pages 223-238, Springer, 2009. [doi]

Authors

Michael Kohlhase

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

Johannes Lemburg

This author has not been identified. Look up 'Johannes Lemburg' in Google

Lutz Schröder

This author has not been identified. Look up 'Lutz Schröder' in Google

Ewaryst Schulz

This author has not been identified. Look up 'Ewaryst Schulz' in Google
runs on