{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:41:59Z","timestamp":1729651319982,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/coginf.2002.1039283","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T23:34:26Z","timestamp":1056584066000},"page":"59-68","source":"Crossref","is-referenced-by-count":0,"title":["Model and heuristic technique for efficient verification of component-based software systems"],"prefix":"10.1109","author":[{"given":"J.J.P.","family":"Tsai","sequence":"first","affiliation":[]},{"given":"E.Y.T.","family":"Juan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref11","first-page":"463","article-title":"Stubborn Sets for Reduced State Space Generation","volume":"483","author":"valmari","year":"1991","journal-title":"Advances in Petri Nets"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01383879"},{"key":"ref13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","article-title":"A Calculus of Communicating Systems","volume":"92","author":"milner","year":"1980","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90088-X"},{"key":"ref16","article-title":"Incremental Model Checking in Modal mu-Calculus","author":"sokolsky","year":"1994","journal-title":"Proc Sixth Int'l Computer-Aided Verification Conf"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194098000194"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/201024.201038"},{"key":"ref19","first-page":"340","article-title":"Partial-Order Reduction in Symbolic State Space Exploration","author":"alur","year":"1997","journal-title":"Proc Ninth Int'l Computer-Aided Verification Conf"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/21.229464"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0016204"},{"key":"ref6","first-page":"463","article-title":"Symmetry and Modelchecking","volume":"697","author":"emerson","year":"1993","journal-title":"Proc Fifth Int'l Computer-Aided Verification Conf Lecture Notes"},{"journal-title":"Design and Validation of Computer Protocols","year":"1991","author":"holzmann","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113767"},{"journal-title":"Distributed Real-Time Systems Monitoring Debugging and Visualization","year":"1996","author":"tsai","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"journal-title":"Monitoring and Debugging Distributed Real-Time Systems","year":"1995","author":"tsai","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/69.755628"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1147\/rd.281.0052"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50024-X"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.6.504"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/359114.359127"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1185842"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/293677.293681"}],"event":{"name":"First IEEE International Conference on Cognitive Informatics","acronym":"COGINF-02","location":"Calgary, Alta., Canada"},"container-title":["Proceedings First IEEE International Conference on Cognitive Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8057\/22274\/01039283.pdf?arnumber=1039283","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:44:38Z","timestamp":1497566678000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1039283\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/coginf.2002.1039283","relation":{},"subject":[]}}