{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T19:10:01Z","timestamp":1731438601754,"version":"3.28.0"},"reference-count":36,"publisher":"Institution of Engineering and Technology (IET)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,12,15]]},"DOI":"10.1049\/iet-sen:20080009","type":"journal-article","created":{"date-parts":[[2008,12,12]],"date-time":"2008-12-12T23:22:48Z","timestamp":1229124168000},"page":"532-546","source":"Crossref","is-referenced-by-count":4,"title":["Formal verification of systems with an unlimited number of components"],"prefix":"10.1049","volume":"2","author":[{"given":"P.","family":"Var\u030cekova\u0301","sequence":"first","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Botanicka\u0301 68a, Brno, 602 00, Czech Republic"}]},{"given":"B.","family":"Zimmerova","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Botanicka\u0301 68a, Brno, 602 00, Czech Republic"}]},{"given":"P.","family":"Moravec","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Botanicka\u0301 68a, Brno, 602 00, Czech Republic"}]},{"given":"I.","family":"C\u030cerna\u0301","sequence":"additional","affiliation":[{"name":"Faculty of Informatics, Masaryk University, Botanicka\u0301 68a, Brno, 602 00, Czech Republic"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20080009_r1","doi-asserted-by":"publisher","DOI":"10.1145\/146637.146681"},{"key":"10.1049\/iet-sen:20080009_r2","first-page":"361","author":"Emerson","year":"2003","journal-title":"LICS"},{"key":"10.1049\/iet-sen:20080009_r3","doi-asserted-by":"crossref","unstructured":"Zimmerova, B., Var\u030cekova\u0301, P., Benes\u030c, N., C\u030cerna\u0301, I., Brim, L., and Sochor, J.: \u2018Component-interaction automata approach (CoIn)\u2019, \u2018The common component modeling example: comparing software component models\u2019, p. 146\u2013176 (LNCS, 2008), 5153","DOI":"10.1007\/978-3-540-85289-6_7"},{"key":"10.1049\/iet-sen:20080009_r4","first-page":"3","author":"Var\u030cekova\u0301","year":"2007","journal-title":"Proc. ESEC\/FSE Workshop on Specification and Verification of Component-based Systems (SAVCBS'07)"},{"author":"Poetzsch-Heffter","key":"10.1049\/iet-sen:20080009_r5"},{"key":"10.1049\/iet-sen:20080009_r6","first-page":"257","author":"Zimmerova","year":"2007","journal-title":"Proc. Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'07)"},{"key":"10.1049\/iet-sen:20080009_r7","first-page":"311","volume":"2102","author":"Maidl","year":"2001","journal-title":"CAV'01"},{"key":"10.1049\/iet-sen:20080009_r8","first-page":"5676","author":"Nazari","year":"2007","journal-title":"ACC'07"},{"key":"10.1049\/iet-sen:20080009_r9","first-page":"221","volume":"2102","author":"Arons","year":"2001","journal-title":"CAV'01"},{"key":"10.1049\/iet-sen:20080009_r10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.016"},{"key":"10.1049\/iet-sen:20080009_r11","first-page":"144","author":"Emerson","year":"2003","journal-title":"TACAS'03"},{"journal-title":"TACAS'03","first-page":"97","author":"Fontaine","key":"10.1049\/iet-sen:20080009_r12"},{"key":"10.1049\/iet-sen:20080009_r13","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00103-1"},{"key":"10.1049\/iet-sen:20080009_r14","first-page":"187","author":"Nazari","year":"2007","journal-title":"ACSD '07"},{"key":"10.1049\/iet-sen:20080009_r15","first-page":"82","volume":"2031","author":"Pnueli","year":"2001","journal-title":"TACAS'01"},{"key":"10.1049\/iet-sen:20080009_r16","first-page":"4","author":"Pnueli","year":"2003","journal-title":"VMCAI'03"},{"first-page":"313","year":"1996","author":"Abdulla","key":"10.1049\/iet-sen:20080009_r17"},{"key":"10.1049\/iet-sen:20080009_r18","first-page":"220","author":"Jonsson","year":"2000","journal-title":"TACAS'00"},{"journal-title":"CAV '02","first-page":"386","author":"Rybina","key":"10.1049\/iet-sen:20080009_r19"},{"key":"10.1049\/iet-sen:20080009_r20","first-page":"49","author":"Ada\u0301mek","year":"2006","journal-title":"SNPD"},{"key":"10.1049\/iet-sen:20080009_r21","first-page":"300","volume":"8","author":"Ada\u0301mek","year":"2007","ISSN":"http:\/\/id.crossref.org\/issn\/0091-7036","issn-type":"print"},{"key":"10.1049\/iet-sen:20080009_r22","first-page":"31","author":"Brim","year":"2005","journal-title":"Proc. SAVCBS'05"},{"key":"10.1049\/iet-sen:20080009_r23","first-page":"73","author":"Var\u030cekova\u0301","year":"2007","journal-title":"Proc. ESEC\/FSE Workshop on Specification and Verification of Component-based Systems (SAVCBS'07)"},{"key":"10.1049\/iet-sen:20080009_r24","unstructured":"Clarke, E.M., Grumberg, O., and Peled, D.A.: \u2018Model checking\u2019, (The MIT Press, USA 2000)"},{"key":"10.1049\/iet-sen:20080009_r25","first-page":"46","author":"Pnueli","year":"1977","journal-title":"Proc. 18th IEEE Symp. Foundations of Computer Science"},{"key":"10.1049\/iet-sen:20080009_r26","first-page":"236","author":"Emerson","year":"2000","journal-title":"Conf. Automated Deduction"},{"first-page":"70","year":"1998","author":"Emerson","key":"10.1049\/iet-sen:20080009_r27"},{"key":"10.1049\/iet-sen:20080009_r28","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-61474-5_60","volume":"1102","author":"Emerson","year":"1996","journal-title":"Proc. 8th Int. Conf. Computer Aided Verification (CAV)"},{"key":"10.1049\/iet-sen:20080009_r29","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF00625969","volume":"9","author":"Clarke","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/0925-9856","issn-type":"print"},{"key":"10.1049\/iet-sen:20080009_r30","unstructured":"Ip, C.N.: \u2018State reduction methods for automatic formal verification\u2019, 1996, PhD, Stanford University"},{"key":"10.1049\/iet-sen:20080009_r31","first-page":"383","author":"Groote","year":"2000","journal-title":"Proc. 25th Int. Symp. MFCS'00"},{"key":"10.1049\/iet-sen:20080009_r32","unstructured":"\u2018Partial -confluence for efficient state space generation\u2019, Technical Report, CWI, 2001 Amsterdam, The Netherlands"},{"key":"10.1049\/iet-sen:20080009_r33","unstructured":"Bulej, L., Bures, T., and Coupaye, T.: \u2018The common component modeling example: comparing software component models\u2019, et al. p. 357\u2013387 \u2018[Co-CoME in fractal]\u2019. (LNCS, 2008), 5153"},{"key":"10.1049\/iet-sen:20080009_r34","unstructured":"Component reliability extensions for fractal component model. Available on http:\/\/kraken.cs.cas.cz\/ft\/public\/public_index.phtml, accessed April 2008"},{"key":"10.1049\/iet-sen:20080009_r35","first-page":"1056","volume":"28","author":"Plasil","year":"2002"},{"key":"10.1049\/iet-sen:20080009_r36","unstructured":"http:\/\/anna.fi.muni.cz\/coin\/CUmodels\/, accessed April 2008"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20080009?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:28:01Z","timestamp":1731436081000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20080009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12,15]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,12,15]]}},"alternative-id":["10.1049\/iet-sen:20080009"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20080009","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2008,12,15]]}}}