Edelkamp, S.; Greulich, C.
Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing
In: Bosnacki, D.; Wijs, An. (eds.): Model Checking Software. 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer, Cham, 2016, pp. 57-77
(Workgroups:
IAI,
IGS)
