Optimal Sceduling of Stochastic Production Processes Through Model Checking

Luke Thomas Herbert, Zaza Nadja Lee Hansen, Robin Sharp, Peter Jacobsen

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationModelling and Management of Engineering Processes : Proceedings of the 3rd International Conference 2013
EditorsMichael Schabacker, Kilian Gericke, Nikoletta Szélig, Sándor Vajna
PublisherSpringer
Publication date2015
Pages187-202
ISBN (Print)978-3-662-44008-7
ISBN (Electronic)978-3-662-44009-4
Publication statusPublished - 2015

Cite this