Model checking of probabilistic and nondeteministic systems
Type of publication: | Inproceedings |
Citation: | dianco-alfaro:95 |
Booktitle: | Foundations of Software Technology and Theoretical Computer Science |
Series: | LNCS |
Volume: | 1026 |
Year: | 1995 |
Pages: | 499--513 |
Publisher: | Springer |
Userfields: | date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, project={fremdliteratur}, |
Keywords: | |
Authors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|