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]
@inproceedings{KempkenL08,
title = {Verified Methods in Stochastic Traffic Modelling},
author = {Sebastian Kempken and Wolfram Luther},
year = {2008},
doi = {10.1007/978-3-540-85521-7_5},
url = {http://dx.doi.org/10.1007/978-3-540-85521-7_5},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/KempkenL08},
cites = {0},
citedby = {0},
pages = {83-101},
booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers},
editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol},
volume = {5045},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85520-0},
}