Publication Overview

H. Fecher and M. Leucker and V. Wolf

Don't know in probabilistic systems

Published in: Proceedings of 13th International SPIN Workshop on Model Checking of Software (SPIN'06)
Year: 2006
Volume: 3925
Pages: 71-88