{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:02Z","timestamp":1737063602878,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_12","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:43:21Z","timestamp":1180665801000},"page":"178-193","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets"],"prefix":"10.1007","author":[{"given":"Teemu","family":"Tynj\u00e4l\u00e4","sequence":"first","affiliation":[]},{"given":"Sari","family":"Lepp\u00e4nen","sequence":"additional","affiliation":[]},{"given":"Vesa","family":"Luukkala","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Yifei Dong, Xiaoqun Du, Y.S. Ramakrishna, C.R. Ramakrishnan and I.V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, and Eugene W. Stark and David S. Warren. Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. In TACAS\u201999, 1999.","DOI":"10.1007\/3-540-49059-0_6"},{"key":"12_CR2","unstructured":"J. Ellesberg, D. Hogrefe, and A. Sarma. SDL: Formal Object-Oriented Language for Communicating Systems. Prentice Hall, 1997."},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Juana Helovuo and Sari Lepp\u00e4nen.Exploration Testing. In ICACSD 2001, 2nd International Conference on Application of Concurrency to System Design, pages 201\u2013210, 2001.","DOI":"10.1109\/CSD.2001.981777"},{"key":"12_CR4","unstructured":"International Standards Organization. High-level Petri Nets\u2013Concepts, Definitions and Graphical Notation. Final Draft International Standard ISO\/IEC 15909, Version 4.7.1, 2000. The standard is available on the web, http:\/\/www.daimi.au.dk\/PetriNets\/st andardisation."},{"key":"12_CR5","unstructured":"H. Kaaranan, A. Ahtiainen, L. Laitinen, S. Naghian, and V. Niemi. UMTS Networks: Architecture, Mobility and Services. Wiley amp Sons Ltd, 2001."},{"key":"12_CR6","unstructured":"R. Kaivola. Equivalences, Preorders and Compositional Verification for Linear Time Temporal Logic and Concurrent Systems. PhD thesis, Helsingin yliopisto. Tietojenk\u00e4sittelytieteen laitos, 1996."},{"key":"12_CR7","unstructured":"Sari Lepp\u00e4nen and Matti Luukkainen. CompositionalVerification of a Third Generation Mobile Communication Protocl. In InternationalWorkshop on Distributed SystemValidation and Verfication, ICDCS 2000 Workshop. IEEE Computer Society, 2000."},{"key":"12_CR8","unstructured":"Marko M\u00e4kel\u00e4. A Reachability Analyzer for Algebraic System Nets. Research Report A69, Helsinki University of Technology, Laboratory for Theoretical Computer Science, 2001."},{"key":"12_CR9","unstructured":"Markus Malmqvist. Methodology of Dynamical Analysis of SDL Programs Using Predicate\/ Transition Nets. Technical report B16, Helsinki University of Technology, Digital Systems Laboratory, April 1997."},{"issue":"8","key":"12_CR10","doi-asserted-by":"publisher","first-page":"924","DOI":"10.1109\/26.3772","volume":"36","author":"K. Sabnani","year":"1988","unstructured":"Krishan Sabnani. An Algorithmic Technique for Protocol Verification. IEEE Transactions on Communications, 36(8):924\u2013931, August 1988.","journal-title":"IEEE Transactions on Communications"},{"key":"12_CR11","unstructured":"A. Toskala and H. Holma. WCDMA for UMTS, Radio Access for Third Generation Mobile Communications. Wiley amp Sons Ltd, 2000."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Pierre Wolper. Expressing Interesting Properties of Programs in Propositional Temporal Logic. In Proceedings of the 13thACMSymposium on Principles of Programming Languages, 1986.","DOI":"10.1145\/512644.512661"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:00:18Z","timestamp":1737061218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}