{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T11:40:06Z","timestamp":1737546006079,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662020"},{"type":"electronic","value":"9783540486831"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48683-6_42","type":"book-chapter","created":{"date-parts":[[2007,10,7]],"date-time":"2007-10-07T03:22:18Z","timestamp":1191727338000},"page":"487-490","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TIPPtool: Compositional Specification and Analysis of Markovian Performance Models"],"prefix":"10.1007","author":[{"given":"H.","family":"Hermanns","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Mertsiotakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Siegle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,1,14]]},"reference":[{"key":"42_CR1","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. In The Formal Description Technique LOTOS, pages 23\u201373, Amsterdam, 1989. North-Holland."},{"key":"42_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Proceedings of the 8th Conference on Computer-AidedVerification (CAV 96)","author":"J.-C. Fernandez","year":"1996","unstructured":"Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, and Mihaela Sighireanu. Cadp (c\u00e6sar\/aldebaran development package):Aprotocol validation and verification toolbox. In Proceedings of the 8th Conference on Computer-AidedVerification (CAV 96), Springer LNCS 1102:437\u2013440. August 1996."},{"issue":"4","key":"42_CR3","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1080\/00207549608904950","volume":"34","author":"S. Gilmore","year":"1996","unstructured":"S. Gilmore, J. Hillston, R. Holton, and M. Rettelbach. Specifications in Stochastic Process Algebra for a Robot Control Problem. International Journal of Production Research 34(4):1065\u20131080, 1996.","journal-title":"International Journal of Production Research"},{"key":"42_CR4","doi-asserted-by":"crossref","unstructured":"F. Hartleb and A. Quick. Performance Evaluation of Parallel Programms-Modeling and Monitoring with the Tool PEPP. In Proceedings of 7th GI-ITG Fachtagung \u201eMessung, Modellierung und Bewertung von Rechen-und Kommunikationssystemen\u201c, pages 51\u201363. Informatik Aktuell, Springer. September 1993.","DOI":"10.1007\/978-3-642-78495-8_5"},{"key":"42_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-68061-6_5","volume-title":"10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 98)","author":"H. Hermanns","year":"1998","unstructured":"H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, and M. Siegle. Compositional Performance Modelling with the TIPPtool. In 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS 98), Springer LNCS 1469:51\u201362. September 1998."},{"issue":"9-10","key":"42_CR6","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1016\/S0169-7552(97)00133-5","volume":"30","author":"H. Hermanns","year":"1998","unstructured":"H. Hermanns, U. Herzog, and V. Mertsiotakis. Stochastic ProcessAlgebras-BetweenLOTOS and Markov Chains. Computer Networks and ISDN Systems, 30(9-10):901\u2013924, 1998.","journal-title":"Computer Networks and ISDN Systems"},{"key":"42_CR7","unstructured":"H. Hermanns and J.P. Katoen. Automated Compositional Markov Chain Generation for a Plain Old Telephony System. Science of Computer Programming. to appear."},{"key":"42_CR8","unstructured":"U. Herzog. A Concept for Graph-Based Stochastic Process Algebras, Generally Distributed Activity Times and Hierarchical Modelling. In Proc. of the 4th Workshop on Process Algebras and Performance Modelling, pages 1\u201320. Universit\u00e1a di Torino, CLUT, 1996."},{"issue":"7","key":"42_CR9","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1093\/comjnl\/38.7.566","volume":"38","author":"J. Hillston","year":"1995","unstructured":"J. Hillston and V. Mertsiotakis. A Simple Time Scale Decomposition Technique for SPAs. In The Computer Journal, 38(7):566\u2013577, 1995.","journal-title":"The Computer Journal"},{"key":"42_CR10","unstructured":"J.G. Kemeny and J.L. Snell. Finite Markov Chains. Springer, 1976."},{"issue":"7","key":"42_CR11","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1016\/0169-7552(93)90050-E","volume":"25","author":"J.A. Manas","year":"1993","unstructured":"J.A. Manas, T. de Miguel, and J. Salvachua. Tool Support to ImplementLOTOS Specifications. Computer Networks and ISDN Systems, 25(7):815\u2013839, 1993.","journal-title":"Computer Networks and ISDN Systems"},{"key":"42_CR12","doi-asserted-by":"crossref","unstructured":"V. Mertsiotakis and M. Silva. Throughput Approximation of Decision Free Processes Using Decomposition. In Proc. of the 7th Int. Workshop on Petri Nets and Performance Models, pages 174\u2013182, St. Malo, June 1997. IEEE CS-Press.","DOI":"10.1109\/PNPM.1997.595548"},{"key":"42_CR13","unstructured":"M. Siegle, B. Wentz, A. Klingler, and M. Simon. DeNeue Ans\u00e4tze zur Planung von Klinikkommunikationssystemen mittels stochastischer Leistungsmodellierung. In 42. Jahrestagung der Deutschen Gesellschaft f\u00fcr Medizinische Informatik, Biometrie und Epidemiologie (GMDS), pages 188\u2013192, Ulm, September 1997. MMV Medien & Medizin Verlag."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48683-6_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T12:37:30Z","timestamp":1737463050000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48683-6_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662020","9783540486831"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48683-6_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"14 January 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}