Verification of Infinite State Probabilistic Systems

• Authors: KUČERA Antonín
• Year of publication: 2008
• Type: Requested lectures
• MU Faculty or unit: Faculty of Informatics

Related projects

• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems