{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:48:09Z","timestamp":1725893289763},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333132"},{"type":"electronic","value":"9783642333149"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-33314-9_16","type":"book-chapter","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T04:05:18Z","timestamp":1347422718000},"page":"235-247","source":"Crossref","is-referenced-by-count":0,"title":["Two Observations in Dioid Based Model Refinement"],"prefix":"10.1007","author":[{"given":"Roland","family":"Gl\u00fcck","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Ciarlet, P.G.: Introduction to Numerical Linear Algebra and Optimisation. Cambridge University Press (1989)","DOI":"10.1017\/9781139171984"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-21070-9_14","volume-title":"Relational and Algebraic Methods in Computer Science","author":"R. Gl\u00fcck","year":"2011","unstructured":"Gl\u00fcck, R.: Using Bisimulations for Optimality Problems in Model Refinement. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 164\u2013179. Springer, Heidelberg (2011)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-17796-5_5","volume-title":"Algebraic Methodology and Software Technology","author":"R. Gl\u00fcck","year":"2011","unstructured":"Gl\u00fcck, R., M\u00f6ller, B., Sintzoff, M.: Model Refinement Using Bisimulation Quotients. In: Johnson, M., Pavlovic, D. (eds.) AMAST 2010. LNCS, vol.\u00a06486, pp. 76\u201391. Springer, Heidelberg (2011)"},{"key":"16_CR5","unstructured":"Gondran, M., Minoux, M.: Graphs, Dioids and Semirings. Springer (2008)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-21070-9_15","volume-title":"Relational and Algebraic Methods in Computer Science","author":"A.J.T. Gurney","year":"2011","unstructured":"Gurney, A.J.T., Griffin, T.G.: Pathfinding through Congruences. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol.\u00a06663, pp. 180\u2013195. Springer, Heidelberg (2011)"},{"key":"16_CR7","unstructured":"Kleene, S.: Introduction to Metamathematics. Wolters-Noordhoff - Groningen (1952)"},{"key":"16_CR8","unstructured":"Myhill, J.: Finite automata and the representation of events. WADD TR-57-624, pp. 112\u2013137 (1957)"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1090\/S0002-9939-1958-0135681-9","volume":"9","author":"A. Nerode","year":"1958","unstructured":"Nerode, A.: Linear automaton transformations. Proceedings of the American Mathematical Society\u00a09(4), 541\u2013544 (1958)","journal-title":"Proceedings of the American Mathematical Society"},{"issue":"6","key":"16_CR10","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"Paige, R., Tarjan, R.: Three partition refinement algorithms. SIAM Journal for Computing\u00a016(6), 973\u2013989 (1987)","journal-title":"SIAM Journal for Computing"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs: Discrete Mathematics for Computer Scientists. Springer (1993)","DOI":"10.1007\/978-3-642-77968-8"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05(2), 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"issue":"4","key":"16_CR13","first-page":"429","volume":"83","author":"M. Winter","year":"2008","unstructured":"Winter, M.: A relation-algebraic theory of bisimulations. Fundam. Inf.\u00a083(4), 429\u2013449 (2008)","journal-title":"Fundam. Inf."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33314-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T09:04:18Z","timestamp":1557219858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33314-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333132","9783642333149"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33314-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}