{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:25:35Z","timestamp":1725560735361},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281955"},{"type":"electronic","value":"9783540318996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11537328_16","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T20:02:25Z","timestamp":1279828945000},"page":"185-199","source":"Crossref","is-referenced-by-count":3,"title":["Stuttering Congruence for \u03c7"],"prefix":"10.1007","author":[{"given":"Bas","family":"Luttik","sequence":"first","affiliation":[]},{"given":"Nikola","family":"Tr\u010dka","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/3-540-44585-4_23","volume-title":"Computer Aided Verification","author":"S. Blom","year":"2001","unstructured":"Blom, S., Fokkink, W., Groote, J.F., van Langevelde, I., Lisser, B., van de Pol, J.C.: \u03bcCRL: A toolset for analysing algebraic specifications. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, pp. 250\u2013254. Springer, Heidelberg (2001)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bortnik, E., Tr\u010dka, N., Wijs, A.J., Luttik, S.P., van de Mortel-Fronczak, J.M., Baeten, J.C.M., Fokkink, W.J., Rooda, J.E.: Analyzing a \u03c7 model of a turntable system using spin, CADP and uppaal. Journal of Logic and Algebraic Programming (2005) (to appear)","DOI":"10.1016\/j.jlap.2005.05.001"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0736-5845(00)00027-2","volume":"17","author":"V. Bos","year":"2001","unstructured":"Bos, V., Kleijn, J.J.T.: Automatic verification of a manufacturing system. Robotics and Computer Integrated Manufacturing\u00a017, 185\u2013198 (2001)","journal-title":"Robotics and Computer Integrated Manufacturing"},{"key":"16_CR4","unstructured":"Bos, V., Klein, J.J.T.: Formal specification and analysis of industrial systems. PhD thesis, Eindhoven University of Technology (2002)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","volume":"59","author":"M.C. Browne","year":"1988","unstructured":"Browne, M.C., Clarke, E.M., Grumberg, O.: Characterizing finite Kripke structures in propositional temporal logic. Theor. Comput. Sci.\u00a059, 115\u2013131 (1988)","journal-title":"Theor. Comput. Sci."},{"key":"16_CR6","unstructured":"van Campen, E.J.J.: Design of a multi-process multi-product wafer fab. PhD thesis, Eindhoven University of Technology (2000)"},{"key":"16_CR7","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Massachusetts (1999)"},{"key":"16_CR8","unstructured":"Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology (1996)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbrat, A., Mounier, L., Mateescu, R., Sighireanu, M.: CADP - a protocol validation and verification toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 437\u2013440. Springer, Heidelberg (1996)"},{"key":"16_CR10","unstructured":"Fey, J.J.H.: Design of a fruit juice blending and packaging plant. PhD thesis, Eindhoven University of Technology (2000)"},{"issue":"2","key":"16_CR11","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1006\/inco.1998.2778","volume":"150","author":"R. Gerth","year":"1999","unstructured":"Gerth, R., Kuiper, R., Peled, D., Penczek, W.: A partial order approach to branching time logic model checking. Information and Computation\u00a0150(2), 132\u2013152 (1999)","journal-title":"Information and Computation"},{"key":"16_CR12","unstructured":"Govaarts, J.A.: Efficiency in a lean assembly line: a case study at NedCar born. Master Thesis (1997)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/BFb0032063","volume-title":"Automata, Languages and Programming","author":"J.F. Groote","year":"1990","unstructured":"Groote, J.F., Vaandrager, F.W.: An efficient algorithm for branching bisimulation and stuttering equivalence. In: Paterson, M.S. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 626\u2013638. Springer, Heidelberg (1990)"},{"key":"16_CR14","volume-title":"The SPIN model checker","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN model checker. Addison-Wesley, Reading (2003)"},{"issue":"1-2","key":"16_CR15","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Luttik, B., Tr\u010dka, N.: Stuttering congruence for \u03c7. Computer Science Report 05\/13, Eindhoven University of Technology (2005)","DOI":"10.1007\/11537328_16"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/BFb0058037","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"K.S. Namjoshi","year":"1997","unstructured":"Namjoshi, K.S.: A simple characterization of stuttering bisimulation. In: Ramesh, S., Sivakumar, G. (eds.) FST TCS 1997. LNCS, vol.\u00a01346, pp. 284\u2013296. Springer, Heidelberg (1997)"},{"issue":"2","key":"16_CR18","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. J. ACM\u00a042(2), 458\u2013487 (1995)","journal-title":"J. ACM"},{"key":"16_CR19","unstructured":"Schiffelers, R.R.H., van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E.: Syntax and semantics of timed Chi. Computer Science Report 05\/09, Eindhoven University of Technology (2005)"},{"key":"16_CR20","unstructured":"Tr\u010dka, N.: Verifying \u03c7 models of industrial systems with Spin. Computer Science Report 05\/12, Eindhoven University of Technology (2005)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"van Beek, D.A., van der Ham, A., Rooda, J.E.: Modelling and control of process industry batch production systems. In: Proceedings of 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona (2002)","DOI":"10.3182\/20020721-6-ES-1901.00555"}],"container-title":["Lecture Notes in Computer Science","Model Checking Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11537328_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T04:45:49Z","timestamp":1635741949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11537328_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281955","9783540318996"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11537328_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}