{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:09Z","timestamp":1725484449158},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_46","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"447-458","source":"Crossref","is-referenced-by-count":4,"title":["Formal Verification of a SONET Telecom System Block"],"prefix":"10.1007","author":[{"given":"M. Hasan","family":"Zobair","sequence":"first","affiliation":[]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"46_CR1","doi-asserted-by":"crossref","unstructured":"O. Ait-Mohamed, X. Song, E. Cerny. On the nontermination of MDG-based abstract state enumeration. In Proc. IFIP Conference on Correct Hardware and Verification Methods, Montreal, Canada, October 1997, pp. 218\u2013235.","DOI":"10.1007\/978-0-387-35190-2_15"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"S. Balakrishnan and S. Tahar. A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs, In Proc. IEEE 9th Great Lakes Symposium on VLSI, Ann Arbor, Michigan, USA, March 1999, IEEE Computer Society Press, pp. 284\u2013287.","DOI":"10.1109\/GLSV.1999.757434"},{"key":"46_CR3","unstructured":"Bell Communication Research (BellCORE). SONET Transport Systems: Common Generic Criteria. GR-253-CORE, issue 2, December 1995."},{"issue":"8","key":"46_CR4","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. In IEEE Transactions on Computers, Vol. C-35, No. 8, August 1986, pp. 677\u2013691.","journal-title":"IEEE Transactions on Computers"},{"key":"46_CR5","unstructured":"Cadence Design Systems, Inc. Formal Verification Using Affirma FormalCheck Manual. Version 2.3, August 1999."},{"key":"46_CR6","doi-asserted-by":"crossref","unstructured":"F. Corella, Z. Zhou, X. Song, M. Langevin and E. Cerny. Multiway Decision Graphs for Automated Hardware Verification. Formal Methods in System Design, Vol. 10, February 1997, pp. 7\u201346.","DOI":"10.1023\/A:1008663530211"},{"key":"46_CR7","doi-asserted-by":"crossref","unstructured":"C. Kern and M. Greenstreet. Formal Verification in Hardware Design: A Survey. ACM Transactions on Design Automation of Electronic Systems, Vol. 4, April 1999, pp. 123\u2013193.","DOI":"10.1145\/307988.307989"},{"key":"46_CR8","unstructured":"PMC-Sierra Inc. Receive, APS, Synchronization Status and BERM Telecom System Block. Engineering Document. Issue 4, January 29, 1998."},{"issue":"7","key":"46_CR9","doi-asserted-by":"publisher","first-page":"956","DOI":"10.1109\/43.771178","volume":"18","author":"S. Tahar","year":"1999","unstructured":"S. Tahar, X. Song, E. Cerny, Z. Zhou, M. Langevin and O. Ait-Mohamed. Modeling and Verification of the Fairisle ATM Switch Fabric using MDGs. IEEE Transactions on CAD of Integrated Circuits and Systems, Vol. 18, No. 7, July 1999, pp. 956\u2013972.","journal-title":"IEEE Transactions on CAD of Integrated Circuits and Systems"},{"key":"46_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BFb0028747","volume-title":"Computer Aided Verification","author":"Y. Xu","year":"1998","unstructured":"Y. Xu, E. Cerny, X. Song, F. Corella, O. Mohamed. Model Checking for First-Order Temporal Logic using Multiway Decision Graphs. In Computer Aided Verification, LNCS 1427, Springer Verlag, 1998, pp. 219\u2013231."},{"key":"46_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BFb0031811","volume-title":"Formal Methods in Computer-Aided Design","author":"Z. Zhou","year":"1996","unstructured":"Z. Zhou, X. Song, S. Tahar, E. Cerny, F. Corella, M. Langevin. Formal Verification of the Island Tunnel Controller using Multiway Decision Graphs. In Formal Methods in Computer-Aided Design, LNCS 1166, Springer Verlag, 1996, pp. 233\u2013246."},{"key":"46_CR12","volume-title":"MDG Tools (v1.0) User\u2019s Manual","author":"Z. Zhou","year":"1996","unstructured":"Z. Zhou and N. Boulerice. MDG Tools (v1.0) User\u2019s Manual. Dept. of Information and Operation Research, University of Montreal, Canada, 1996."},{"key":"46_CR13","volume-title":"M.A.Sc. Thesis","author":"M.H. Zobair","year":"2001","unstructured":"M.H. Zobair. Modeling and Formal Verification of a Telecom System Block using MDGs. M.A.Sc. Thesis, Concordia University, Department of Electrical and Computer Engineering, Montreal, Canada, April 2001."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:55:46Z","timestamp":1556398546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_46","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}