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]
Abstract is missing.