{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:14Z","timestamp":1725551774348},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540308034"},{"type":"electronic","value":"9783540322962"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11596042_17","type":"book-chapter","created":{"date-parts":[[2005,11,24]],"date-time":"2005-11-24T10:14:40Z","timestamp":1132827280000},"page":"161-170","source":"Crossref","is-referenced-by-count":0,"title":["TS-U: Temporal-Spatial Methodology for Application Checking of the Systems in the Ubiquitous Environment"],"prefix":"10.1007","author":[{"given":"Fran","family":"Jarnjak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinhyung","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixin","family":"Jing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoh Peter","family":"In","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongwon","family":"Jeong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doo-Kwon","family":"Baik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. Clarke","year":"1986","unstructured":"Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"Proceedings of the Fifth International Symposium in Programming","author":"J. Quielle","year":"1981","unstructured":"Quielle, J., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Proceedings of the Fifth International Symposium in Programming. LNCS, vol.\u00a0137, pp. 337\u2013351. Springer, Heidelberg (1981)"},{"key":"17_CR3","volume-title":"Model Checking","author":"M.C. Edmund Jr.","year":"1999","unstructured":"Edmund Jr., M.C., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Symposium on Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"McMillan, K.: Symbolic model checking: an approach to the state explosion problem. PhD thesis, School of Computer Science, Carnegie Mellon University (1992)","DOI":"10.1007\/978-1-4615-3190-6_3"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Proceedings of the Workshop on Logic of Programs","author":"E. Clarke","year":"1981","unstructured":"Clarke, E., Emerson, E.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Proceedings of the Workshop on Logic of Programs. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1981)"},{"key":"17_CR7","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A Spatial Logic based on Regions and Connection. In: Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning. Morgan Kaufman, San Francisco (1992)"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, Anywhere Modal Logics for Mobile Ambients. In: Proceedings of POPL Conference (2000)","DOI":"10.1145\/325694.325742"},{"key":"17_CR9","unstructured":"Bell Labs. Unix Programmer\u2019s Manual. First Edition (1971), http:\/\/cm.bell-labs.com\/cm\/cs\/who\/dmr\/1stEdman.html"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Barkhuus, L., Dourish, P.: Everyday Encounters with Context-Aware Computing in a Campus Environment. In: Proceedings of UbiComp 2004 conference on Ubiquitous Computing (2004)","DOI":"10.1007\/978-3-540-30119-6_14"}],"container-title":["Lecture Notes in Computer Science","Embedded and Ubiquitous Computing \u2013 EUC 2005 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11596042_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:53:43Z","timestamp":1619492023000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11596042_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540308034","9783540322962"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11596042_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}