{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T05:29:56Z","timestamp":1736573396184,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648277"},{"type":"electronic","value":"9783540685326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055792","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:36:31Z","timestamp":1155836191000},"page":"427-436","source":"Crossref","is-referenced-by-count":6,"title":["Model checking Real-Time properties of symmetric systems"],"prefix":"10.1007","author":[{"given":"E. Allen","family":"Emerson","sequence":"first","affiliation":[]},{"given":"Richard J.","family":"Trefler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"39_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., and Dill, D., Model Checking for Real-Time Systems. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science, pp. 414\u2013425, IEEE Computer Society Press, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"39_CR2","unstructured":"Alur, R., Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, 1991."},{"key":"39_CR3","first-page":"52","volume-title":"Springer LNCS no. 131","author":"E. M. Clarke","year":"1981","unstructured":"Clarke, E. M., and Emerson, E. A., Design and Verification of Synchronization Skeletons using Branching Time Temporal Logic, Logics of Programs Workshop, IBM Yorktown Heights, New York, Springer LNCS no. 131., pp. 52\u201371, May 1981."},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, E. M., Filkorn, T., and Jha, S., Exploiting Symmetry in Temporal Logic Model Checking. In Fifth International Conference on Computer Aided Verification, Crete, Greece, June 1993. Journal version appears as: Clarke, E. M., Enders, R. Filkorn, T. and Jha, S., Exploiting Symmetry in Temporal Logic Model Checking. In Formal Methods in System Design, Kluwer, vol. 9, no. 1\/2, August 1996.","DOI":"10.1007\/BF00625969"},{"key":"39_CR5","doi-asserted-by":"crossref","unstructured":"E. Allen Emerson Real-Time and the \u039c-Calculus. In Proceedings of RealTime: Theory in Practice, LNCS, Vol. 600, pp. 176\u2013194, Springer, June 1992.","DOI":"10.1007\/BFb0031992"},{"issue":"no.1","key":"39_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E. A. Emerson","year":"1986","unstructured":"Emerson, E. A., and Halpern, J. Y., \u2018Sometimes\u2019 and \u2018Not Never\u2019 Revisited: On Branching versus Linear Time Temporal Logic, JACM, vol. 33, no. 1, pp. 151\u2013178, Jan. 1986.","journal-title":"JACM"},{"key":"39_CR7","unstructured":"Emerson, E. A., and Lei, C.-L., Efficient Model Checking in Fragments of the Mu-Calculus, IEEE Symp. on Logic in Computer Science (LICS), Cambridge, Mass., 1986."},{"key":"39_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/0167-6423(87)90036-0","volume":"8","author":"E. A. Emerson","year":"1987","unstructured":"Emerson, E. A., and Lei, C.-L.M. Modalities for Model Checking: Branching Time Strikes Back, pp. 84-96, ACM POPL85; journal version appears in Sci. Comp. Prog. vol. 8, pp 275\u2013306, 1987.","journal-title":"journal version appears in Sci. Comp. Prog."},{"key":"39_CR9","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00355298","volume":"4","author":"E. A. Emerson","year":"1992","unstructured":"Emerson, E. A., Mok, A. K., Sistla, A. P., and Srinivasan, J., Quantitative Temporal Reasoning. In Journal of Real Time Systems, vol. 4, pp. 331\u2013352, 1992.","journal-title":"Journal of Real Time Systems"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. and Sistla, A. P., Symmetry and Model Checking. In Fifth International Conference on Computer Aided Verification, Crete, Greece, June 1993. Journal Version appeared in Formal Methods in System Design, Kluwer, vol. 9, no. 1\/2, August 1996.","DOI":"10.1007\/BF00625970"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. and Sistla, A. P., Utilizing Symmetry when Model Checking under Fairness Assumptions. In Seventh International Conference on Computer Aided Verification Springer-Verlag, 1995. Journal version, TOPLAS 19(4): 617\u2013638 (1997).","DOI":"10.1145\/262004.262008"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"Gyuris, V. and Sistla, A. P., On-the-Fly Model checking under Fairness that Exploits Symmetry. In Proceedings of the 9th International Conference on Computer Aided Verification, Haifa, Israel, 1997.","DOI":"10.1007\/3-540-63166-6_24"},{"key":"39_CR13","unstructured":"Henzinger, T., The Temporal Specification and Verification of Real-Time Systems, Ph.D. Thesis, Stanford University, 1991, report number STAN-CS-911380."},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"Ip, C-W. N., Dill, D. L., Better Verification through Symmetry. In Proc. 11th International Symposium on Computer Hardware Description Languages(CHDL), April, 1993. Journal version appeared in Formal Methods in System Design, Kluwer, vol. 9, no. 1\/2, August 1996.","DOI":"10.1007\/BF00625968"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Jensen, K. and Rozenberg, G. (eds.), High-Level Petri Nets: Theory and Application, Springer-Verlag, 1991.","DOI":"10.1007\/978-3-642-84524-6"},{"key":"39_CR16","doi-asserted-by":"crossref","unstructured":"Kozen, D., Results on the Propositional Mu-Calculus, Theor. Comp. Sci., pp. 333\u2013354, Dec. 83.","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"Litchtenstein, O., and Pnueli, A., Checking That Finite State Concurrent Programs Satisfy Their Linear Specifications, POPL85, pp. 97\u2013107, Jan. 85.","DOI":"10.1145\/318593.318622"},{"key":"39_CR18","doi-asserted-by":"crossref","unstructured":"Long, D., Browne, A., Clarke, E. Jha, S. and Marrero, W., An Improved Algorithm for the Evaluation of Fixpoint Expressions. In Proc. of the 6th Inter. Conf. on Computer Aided Verification, Stanford, Springer LNCS no. 818, June 1994.","DOI":"10.1007\/3-540-58179-0_66"},{"key":"39_CR19","first-page":"195","volume":"no. 137","author":"J. P. Queille","year":"1982","unstructured":"Queille, J. P., and Sifakis, J., Specification and verification of concurrent programs in CESAR, Proc. 5th Int. Symp. Prog., Springer LNCS no. 137, pp. 195\u2013220, 1982.","journal-title":"Springer LNCS"},{"key":"39_CR20","doi-asserted-by":"crossref","unstructured":"Seidl, H., A Modal \u039c-Calculus for Durational Transition Systems. In Eleventh Annual IEEE Symposium on Logic In Computer Science, IEEE Computer Society Press, 1996.","DOI":"10.1109\/LICS.1996.561312"},{"issue":"No.3","key":"39_CR21","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. P. Sistla","year":"1985","unstructured":"Sistla, A. P., and Clarke, E. M., The Complexity of Propositional Linear Temporal Logic, J. ACM, Vol. 32, No. 3, pp.733\u2013749, 1985.","journal-title":"J. ACM"},{"key":"39_CR22","unstructured":"Vardi, M., and Wolper, P., An Automata-theoretic Approach to Automatic Program Verification, Proc. IEEE LICS, pp. 332\u2013344, 1986."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T13:52:17Z","timestamp":1736517137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648277","9783540685326"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0055792","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}