{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:28Z","timestamp":1725486208676},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540423140"},{"type":"electronic","value":"9783540477648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-47764-0_19","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T00:55:55Z","timestamp":1181609755000},"page":"335-355","source":"Crossref","is-referenced-by-count":5,"title":["Analyzing Fair Parametric Extended Automata"],"prefix":"10.1007","author":[{"given":"Ahmed","family":"Bouajjani","sequence":"first","affiliation":[]},{"given":"Aurore","family":"Collomb-Annichini","sequence":"additional","affiliation":[]},{"given":"Yassine","family":"Lakhnech","sequence":"additional","affiliation":[]},{"given":"Mihaela","family":"Sighireanu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,4]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 5th TACAS","author":"P. Abdulla","year":"1999","unstructured":"P. Abdulla, A. Annichini, and A. Bouajjani. Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol. In Proceedings of 5th TACAS, volume 1579 of LNCS. Springer Verlag, 1999."},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of 11th CAV","author":"P. Abdulla","year":"1999","unstructured":"P. Abdulla, A. Bouajjani, B. Jonsson, and M. Nilsson. Handling global conditions in parametrized system verification. In Proceedings of 11th CAV, volume 1633 of LNCS. Springer Verlag, 1999."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BFb0028754","volume-title":"Proceedings of the 10th CAV","author":"P.A. Abdulla","year":"1998","unstructured":"P.A. Abdulla, A. Bouajjani, and B. Jonsson. On-the-fly analysis of systems with unbounded, lossy, FIFO channels. In Proceedings of the 10th CAV, volume 1427 of LNCS, pages 305\u2013317. Springer Verlag, 1998."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183\u2013235, 1994.","journal-title":"Theoretical Computer Science"},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/10722167_32","volume-title":"Proceedings of the 12th CAV","author":"A. Annichini","year":"2000","unstructured":"A. Annichini, E. Asarin, and A. Bouajjani. Symbolic techniques for parametric reasoning about counter and clock systems. In E.A. Emerson and A.P. Sistla, editors, Proceedings of the 12th CAV, volume 1855 of LNCS, pages 419\u2013434. Springer Verlag, July 2000."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"K. Baukus, Y. Lakhnech, and K. Stahl. Verifying universal properties of parameterized networks. In Proceedings of FTRTFT, 2000.","DOI":"10.1007\/3-540-45352-0_24"},{"key":"19_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of SAS\u201997","author":"B. Boigelot","year":"1997","unstructured":"B. Boigelot, P. Godefroid, B. Willems, and P. Wolper. The power of qdds. In Proceedings of SAS\u201997, volume 1302 of LNCS. Springer Verlag, 1997."},{"key":"19_CR8","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 6th CAV","author":"Boigelot","year":"1994","unstructured":"Boigelot and P. Wolper. Symbolic verification with periodic sets. In Proceedings of the 6th CAV, volume 818 of LNCS. Springer Verlag, 1994."},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of ICALP\u201997","author":"A. Bouajjani","year":"1997","unstructured":"A. Bouajjani and P. Habermehl. Symbolic reachability analysis of fifo-channel systems with nonregular sets of configurations. In Proceedings of ICALP\u201997, LNCS. Springer Verlag, 1997."},{"key":"19_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/10722167_31","volume-title":"Proceedings of the 12th CAV","author":"A. Bouajjani","year":"2000","unstructured":"A. Bouajjani, B. Jonsson, M. Nilsson, and T. Touili. Regular model checking. In E.A. Emerson and A.P. Sistla, editors, Proceedings of the 12th CAV, volume 1855 of LNCS, pages 403\u2013418, July 2000."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"M. Colon and H. Sipma. Synthesis of linear ranking functions. In Proceedings of TACAS\u201901, 2001.","DOI":"10.1007\/3-540-45319-9_6"},{"key":"19_CR12","unstructured":"D. Dams, R. Gerth, and O. Grumberg. A heuristic for the automatic generation of ranking functions. In Proceedings of WAVe, pages 1\u20138, 2000."},{"key":"19_CR13","series-title":"Lect Notes Comput Sci","first-page":"197","volume-title":"Proceedings of the 1st CAV","author":"D. Dill","year":"1989","unstructured":"D. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Proceedings of the 1st CAV, volume 407 of LNCS, pages 197\u2013212. Springer Verlag, 1989."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"R.W. Floyd. Assigning meanings to programs. In In. Proc. Symp. on Appl. Math. 19, pages 19\u201332. American Mathematical Society, 1967.","DOI":"10.1090\/psapm\/019\/0235771"},{"key":"19_CR15","unstructured":"A.C. Hearn. REDUCE-User\u2019s and Contributed Packages Manual. Codemist Ltd., February 1999. version 3.7."},{"issue":"1","key":"19_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","volume":"83","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. Completing the temporal picture. Theoretical Computer Science, 83(1):97\u2013130, 1991.","journal-title":"Theoretical Computer Science"},{"key":"19_CR17","unstructured":"Omega Team. The Omega Library, November 1996. version 1.1.0."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"A. Pnueli and E. Shahar. Liveness and acceleration in parametrized verification. In Proceedings of the 12th CAV, volume 1855. Springer Verlag, 2000.","DOI":"10.1007\/10722167_26"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47764-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T21:28:27Z","timestamp":1556486907000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47764-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540423140","9783540477648"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-47764-0_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}