A stochastic extension of the logic PDL:
Saved in:
Bibliographic Details
Main Authors: Kuntz, Matthias (Author), Siegle, Markus 1964- (Author)
Format: Book
Language:English
Published: Neubiberg Univ. of the Federal Armed Forces, Dep. of Computer Science 2004
Series:[Bericht / Universität der Bundeswehr München, Fakultät für Informatik] Report / University of the Federal Armed Forces Munich / Department of Computer Science 2004,5
Subjects:
Item Description:Literaturverz. S. 46
Physical Description:47 S. 30 cm

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!