Synthesis and Stochastic Assessment of Schedules for Lacquer Production

Henrik C. Bohnenkamp, Holger Hermanns, Ric Klaren, Angelika Mader, Yaroslav S. Usenko. Synthesis and Stochastic Assessment of Schedules for Lacquer Production. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands. pages 28-37, IEEE Computer Society, 2004. [doi]

Authors

Henrik C. Bohnenkamp

This author has not been identified. Look up 'Henrik C. Bohnenkamp' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Ric Klaren

This author has not been identified. Look up 'Ric Klaren' in Google

Angelika Mader

This author has not been identified. Look up 'Angelika Mader' in Google

Yaroslav S. Usenko

Identified as Yaroslav S. Usenko