Bernd Däne, Wolfgang Fengler, Falk Berger. Modeling and Simulation of Operating System Behavior. In M. H. Hamza, editor, Proceedings of the IASTED International Conference on Modelling, Simulation and Optimization - MSO 2003, Banff, Canada, July 2-4, 2003. pages 78-81, IASTED/ACTA Press, 2003.
Abstract is missing.