@techreport{,
    author = {Kuntz, Matthias; Siegle, Markus},
    title = {A Stochastic Extension of the Logic PDL},
    editor = {},
    booktitle = {},
    series = {},
    journal = {},
    address = {},
    publisher = {Universität der Bundeswehr München, Fakultät für Informatik},
    edition = {},
    year = {2004},
    isbn = {},
    volume = {},
    number =  {Technical report Nr. 2004/05},
    pages = {},
    url = {},
    doi = {},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 3 - Institut für Technische Informatik, Professur: Siegle, Markus},
    
    
}