{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:33Z","timestamp":1725557853593},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201267"},{"type":"electronic","value":"9783540398783"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39878-3_4","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T22:39:03Z","timestamp":1277332743000},"page":"35-48","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Timeliness Verification of a Public Mobile Network"],"prefix":"10.1007","author":[{"given":"E.","family":"Ciancamerla","sequence":"first","affiliation":[]},{"given":"M.","family":"Minichino","sequence":"additional","affiliation":[]},{"given":"S.","family":"Serro","sequence":"additional","affiliation":[]},{"given":"E.","family":"Tronci","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"SAFETUNNEL Project (IST \u2013 2000 \u2013 28099) , http:\/\/www.crfproject-eu.org\/","key":"4_CR1"},{"unstructured":"Dill, D.L., Drexler, A.J., Hu, A.J., Yang, C.H.: Protocol Verification as a Hardware Design Tool. In: IEEE International Conference on Computer Aided Design (1992)","key":"4_CR2"},{"doi-asserted-by":"crossref","unstructured":"Bryant, R.: Graph-Based algorithms for Boolean function manipulation. IEEE Trans. On Computers\u00a0C-35(8) (August 1986)","key":"4_CR3","DOI":"10.1109\/TC.1986.1676819"},{"doi-asserted-by":"crossref","unstructured":"Hu, A.J., York, G., Dill, D.L.: New techniques for efficient verification with implicitily conjoined BDDs. In: 31st IEEE Design Automation Conference (1994)","key":"4_CR4","DOI":"10.1145\/196244.196377"},{"doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic Model Checking: 1020 states and beyond. Information and Computation\u00a0(98) (1992)","key":"4_CR5","DOI":"10.1016\/0890-5401(92)90017-A"},{"unstructured":"http:\/\/sprout.stanford.edu\/~dill\/murphi.html","key":"4_CR6"},{"unstructured":"http:\/\/www.dsi.uniroma1.it\/~tronci\/cached.murphi.html","key":"4_CR7"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/3-540-44798-9_22","volume-title":"Correct Hardware Design and Verification Methods","author":"E. Tronci","year":"2001","unstructured":"Tronci, E., Penna, G.D., Intrigila, B., Venturini-Zilli, M.: Exploiting Transition Locality in Automatic Verification. In: Margaria, T., Melham, T.F. (eds.) CHARME 2001. LNCS, vol.\u00a02144, p. 259. Springer, Heidelberg (2001)"},{"unstructured":"http:\/\/www.eecs.berkeley.edu\/~tah\/HyTech","key":"4_CR9"},{"doi-asserted-by":"crossref","unstructured":"Bobbio, A., Ciancamerla, E., Franceschinis, G., Gaeta, R., Minichino, M., Portinale, L.: Methods of increasing modelling power for safety analysis. In: Applied to a turbine digital control system - SAFECOMP 2002, Catania, Italy (September 2002)","key":"4_CR10","DOI":"10.1007\/3-540-45732-1_21"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S0951-8320(00)00077-6","volume":"71\/3","author":"A. Bobbio","year":"2001","unstructured":"Bobbio, A., Portinale, L., Minichino, M., Ciancamerla, E.: Improving the Analysis of Dependable Systems by Mapping Fault Trees into Bayesian Networks. Reliability Engineering and System Safety Journal\u00a071\/3, 249\u2013260 (2001)","journal-title":"Reliability Engineering and System Safety Journal"},{"doi-asserted-by":"crossref","unstructured":"Ajmone Marsan, M., Gribaudo, M., Meo, M., Sereno, M.: On Petri Net based modeling paradigms for the performance analysis of wireless internet accesses. In: Petri Net and Performance Model, PNPM 2001, Aachen (September 2001)","key":"4_CR12","DOI":"10.1109\/PNPM.2001.953352"},{"unstructured":"Sokol, J., Widmer, J.: -USAIA Ubiquitous Services Access Internet Architecture -TR -01- 003 International Computer Science Institute, Berkeley (2001)","key":"4_CR13"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39878-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T10:53:57Z","timestamp":1559213637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39878-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201267","9783540398783"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39878-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}