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.

Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic

Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke. Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Volume 11247 of Lecture Notes in Computer Science, pages 487-503, Springer, 2018. [doi]

Authors

Jan Winkels

This author has not been identified. Look up 'Jan Winkels' in Google

Julian Graefenstein

This author has not been identified. Look up 'Julian Graefenstein' in Google

Tristan Schäfer

This author has not been identified. Look up 'Tristan Schäfer' in Google

David Scholz

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

Jakob Rehof

This author has not been identified. Look up 'Jakob Rehof' in Google

Michael Henke

This author has not been identified. Look up 'Michael Henke' in Google
runs on