{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:24:30Z","timestamp":1759638270382},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439134"},{"type":"electronic","value":"9783540456056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45605-8_14","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T02:15:19Z","timestamp":1179281719000},"page":"209-210","source":"Crossref","is-referenced-by-count":29,"title":["An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Mario","family":"Bravetti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"14_CR1","series-title":"Ph.D. Thesis","volume-title":"Specification and Analysis of Stochastic Real-Time Systems","author":"M. Bravetti","year":"2002","unstructured":"M. Bravetti, \u201cSpecification and Analysis of Stochastic Real-Time Systems\u201d, Ph.D. Thesis, University of Bologna (Italy), February 2002. Available at http:\/\/www.cs.unibo.it\/~bravetti"},{"key":"14_CR2","unstructured":"M. Bravetti, \u201cTowards the Integration of Real-Time and Probabilistic-Time Process Algebras\u201d, in Proc. of the 3rd European Research Seminar on Advances in Distributed Systems (ERSADS\u201999), Madeira Island (Portugal), April 1999"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"J. Bryans, J. Derrick, \u201cStochastic Specification and Verification\u201d, In Proc. of the 3rd Irish Workshop in Formal Methods, Elect. Workshops in Comp., July 1999","DOI":"10.14236\/ewic\/IWFM1999.3"},{"key":"14_CR4","unstructured":"P.R. D\u2019Argenio, \u201cA Compositional Translation of Stochastic Automata into Timed Automata\u201d, Technical Report CTIT 00-08, Univ. Twente, May 2000"}],"container-title":["Lecture Notes in Computer Science","Process Algebra and Probabilistic Methods: Performance Modeling and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45605-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T01:26:23Z","timestamp":1587518783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45605-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439134","9783540456056"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/3-540-45605-8_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}