"Statistical Model Checking of Wireless Mesh Routing Protocols" so der Titel des morgen stattfindenden Vortrags in der Informatik. URL: http://www.informatik.uni-augsburg.de/aktuell/kolloquium/2013-07-11hoe/ Wer Bock hat da hinzuschaun, könnte sich evtl. lohnen. Ciao Steini