Probabilistic symbolic model checker

Research output: Contribution to conference (unpublished)Paper

Authors

Colleges, School and Institutes

Details

Original languageEnglish
PagesLNCS 200-204
Publication statusPublished - 1 Jan 2002
EventProceedings 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02) -
Duration: 1 Jan 2002 → …

Conference

ConferenceProceedings 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02)
Period1/01/02 → …