Sebastian Kempken, Wolfram Luther. Verified Methods in Stochastic Traffic Modelling. In Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol, editors, Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers. Volume 5045 of Lecture Notes in Computer Science, pages 83-101, Springer, 2008. [doi]
Abstract is missing.