{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:42:35Z","timestamp":1725907355608},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663340"},{"type":"electronic","value":"9783319663357"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_22","type":"book-chapter","created":{"date-parts":[[2017,8,9]],"date-time":"2017-08-09T23:53:48Z","timestamp":1502322828000},"page":"317-332","source":"Crossref","is-referenced-by-count":1,"title":["Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems"],"prefix":"10.1007","author":[{"given":"Ludovica","family":"Luisa Vissat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Glenn","family":"Marion","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16612-9_11"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-319-23820-3_2","volume-title":"Runtime Verification","author":"L Nenzi","year":"2015","unstructured":"Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.: Qualitative and quantitative monitoring of spatio-temporal properties. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 21\u201337. Springer, Cham (2015). doi: 10.1007\/978-3-319-23820-3_2"},{"key":"22_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5587-4","volume-title":"Handbook of Spatial Logics","author":"M Aiello","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I., Van Benthem, J.: Handbook of Spatial Logics. Springer, Netherlands (2007)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, anywhere: modal logics for mobile ambients. In: POPL 2000, pp. 365\u2013377. ACM (2000)","DOI":"10.1145\/325694.325742"},{"issue":"1","key":"22_CR5","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0022-0000(85)90003-0","volume":"30","author":"J Reif","year":"1985","unstructured":"Reif, J., Sistla, A.: A multiprocess network logic with temporal and spatial modalities. J. Comput. Syst. Sci. 30(1), 41\u201353 (1985)","journal-title":"J. Comput. Syst. Sci."},{"issue":"5","key":"22_CR6","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"22_CR7","first-page":"524","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE TSE 29, 524\u2013541 (2003)","journal-title":"IEEE TSE"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Gottwald, S.: Many-valued logic. In: Stanford Encyclopedia of Philosophy (2008)","DOI":"10.1016\/B978-044451541-4\/50021-X"},{"key":"22_CR9","volume-title":"Selected Works","author":"J \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz, J.: Selected Works. North-Holland Publishing Company, Amsterdam (1970)"},{"issue":"4","key":"22_CR10","first-page":"150","volume":"3","author":"SC Kleene","year":"1938","unstructured":"Kleene, S.C.: On notation for ordinal numbers. JSL 3(4), 150\u2013155 (1938)","journal-title":"JSL"},{"issue":"4","key":"22_CR11","first-page":"356","volume":"81","author":"J-P Katoen","year":"2012","unstructured":"Katoen, J.-P., Klink, D., Leucker, M., Wolf, V.: Three-valued abstraction for probabilistic systems. JLAP 81(4), 356\u2013389 (2012)","journal-title":"JLAP"},{"key":"22_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/11691372_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Sen","year":"2006","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Model-checking Markov chains in the presence of uncertainties. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 394\u2013410. Springer, Heidelberg (2006). doi: 10.1007\/11691372_26"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30206-3_12"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Luisa Vissat, L., Hillston, J., Marion, G., Smith, M.J.: Mela: modelling in ecology with location attributes. In: EPTCS, vol. 227, pp. 82\u201397 (2016)","DOI":"10.4204\/EPTCS.227.6"},{"issue":"25","key":"22_CR15","doi-asserted-by":"crossref","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Nenzi, L., Bortolussi, L., Loreti, M.: jSSTL - a tool to monitor spatio-temporal properties. ValueTools (2016)","DOI":"10.4108\/eai.25-10-2016.2266978"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-15784-4_9","volume-title":"Computer Performance Engineering","author":"D Cerotti","year":"2010","unstructured":"Cerotti, D., Gribaudo, M., Bobbio, A., Calafate, C.T., Manzoni, P.: A Markovian agent model for fire propagation in outdoor environments. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) EPEW 2010. LNCS, vol. 6342, pp. 131\u2013146. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-15784-4_9"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"780","DOI":"10.1007\/3-540-45022-X_65","volume-title":"Automata, Languages and Programming","author":"C Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: On the logical characterisation of performability properties. In: Montanari, U., Rolim, J.D.P., Welzl, E. (eds.) ICALP 2000. LNCS, vol. 1853, pp. 780\u2013792. Springer, Heidelberg (2000). doi: 10.1007\/3-540-45022-X_65"},{"issue":"10","key":"22_CR19","doi-asserted-by":"crossref","first-page":"901","DOI":"10.1111\/j.1600-0587.2011.07190.x","volume":"35","author":"S Catterall","year":"2012","unstructured":"Catterall, S., Cook, A.R., Marion, G., Butler, A., Hulme, P.E.: Accounting for uncertainty in colonisation times: a novel approach to modelling the spatio-temporal dynamics of alien invasions using distribution data. Ecography 35(10), 901\u2013911 (2012)","journal-title":"Ecography"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T02:39:04Z","timestamp":1569983944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}