Back to University of Twente portal
Lectures on Formal Methods and Performance Analysis
Brinksma, H. and Hermanns, H. and Katoen, J.P. , eds. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science, 2090 . Springer Verlag, Berlin. ISBN 9783540424796
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 83Kb |
| Item Type: | Book |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66261 |
| Official URL: | http://www.springerlink.com/content/njkfxp4xuwu8/ |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page