TIPPtool: Compositional Specification and Analysis of Performance Models

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of Computer Aided Verification (CAV'99)
Place of Publication	Trento, Italy
Pages	487-490
Number of pages	4
Publication status	Published - 14 Feb 1999

Keywords

@inproceedings{4c6e1f1f08d9434db217480ed536b5ae,

title = "TIPPtool: Compositional Specification and Analysis of Performance Models",

keywords = "METIS-119601",

author = "H. Hermanns and V. Mertsiotakis and M. Siegle",

year = "1999",

month = feb,

day = "14",

language = "Undefined",

isbn = "3 4406 6202 2",

pages = "487--490",

booktitle = "Proceedings of Computer Aided Verification (CAV'99)",

}