Formal management of CAD/CAM processes

Kohlhase M, Schröder L (2009)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2009

Pages Range: 223-238

Event location: Eindhoven

ISBN: 9783642050886

DOI: 10.1007/978-3-642-05089-3_15

Authors with CRIS profile

Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

How to cite

APA:

Kohlhase, M., & Schröder, L. (2009). Formal management of CAD/CAM processes. In Proceedings of the 2nd World Congress on Formal Methods, FM 2009 (pp. 223-238). Eindhoven.

MLA:

Kohlhase, Michael, and Lutz Schröder. "Formal management of CAD/CAM processes." Proceedings of the 2nd World Congress on Formal Methods, FM 2009, Eindhoven 2009. 223-238.

BibTeX: Download