Universität der Bundeswehr München: AtheneForschung
Logo
User: Guest  Login
Authors:
Kuntz, Matthias; Siegle, Markus 
Document type:
Technischer Report / Technical Report 
Title:
A Stochastic Extension of the Logic PDL 
Publishing institution:
Universität der Bundeswehr München, Fakultät für Informatik 
Year:
2004 
Language:
Englisch 
Report number:
Technical report Nr. 2004/05 
Department:
Fakultät für Informatik 
Institute:
INF 3 - Institut für Technische Informatik 
Chair:
Siegle, Markus 
 BibTeX