Verification of Infinite State Probabilistic Systems

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	KUČERA Antonín
Year of publication	2008
Type	Requested lectures
MU Faculty or unit	Faculty of Informatics
Citation
Related projects:	Institute for Theoretical Computer Science Highly Parallel and Distributed Computing Systems