Probabilistic Automata with Parameters

Bibliographic Details
Main Author: Lenhardt, R
Format: Thesis
Published: 2009