Stochastic model checking

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

Standard

Stochastic model checking. / Kwiatkowska, M.; Norman, G.; Parker, D.

Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07). 2007.

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

Harvard

Kwiatkowska, M, Norman, G & Parker, D 2007, Stochastic model checking. in Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07).

APA

Kwiatkowska, M., Norman, G., & Parker, D. (2007). Stochastic model checking. In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07)

Vancouver

Kwiatkowska M, Norman G, Parker D. Stochastic model checking. In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07). 2007

Author

Kwiatkowska, M. ; Norman, G. ; Parker, D. / Stochastic model checking. Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07). 2007.

Bibtex

@inproceedings{a002cd04a9bc4adc9ecbc7655f7deae5,
title = "Stochastic model checking",
author = "M. Kwiatkowska and G. Norman and D. Parker",
year = "2007",
language = "English",
booktitle = "Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07)",

}

RIS

TY - GEN

T1 - Stochastic model checking

AU - Kwiatkowska, M.

AU - Norman, G.

AU - Parker, D.

PY - 2007

Y1 - 2007

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-34548060449&partnerID=MN8TOARS

M3 - Conference contribution

BT - Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07)

ER -