Computing Publications

Publications Home » Tackling Large State Spaces in Pe...

Tackling Large State Spaces in Performance Modelling

William J. Knottenbelt, Jeremy T. Bradley

Book Chapter
SFM-07:PE, 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation. 28 May - 2 June 2007
Formal Methods for Performance Evaluation
Lecture Notes in Computer Science
Volume 4486
pp.318–370
June, 2007
Springer
DOI 10.1007/978-3-540-72522-0_8
Keywords
Process Algebra
Stochastic Modelling
AESOP
Notes

Bernardo, Hillston (Eds)

PDF of full publication (1000 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (528 kilobytes)
(need help viewing GZipped Postscript files?)
PDF of presentation slides (3.4 megabytes)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.