Stochastic model checking

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationFormal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07)
Publication statusPublished - 2007