{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:59:57Z","timestamp":1725566397218},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660767"},{"type":"electronic","value":"9783540487654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48765-4_26","type":"book-chapter","created":{"date-parts":[[2010,9,24]],"date-time":"2010-09-24T16:27:57Z","timestamp":1285345677000},"page":"226-235","source":"Crossref","is-referenced-by-count":5,"title":["New Directions in Debugging Hardware Designs"],"prefix":"10.1007","author":[{"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"B\u00f6ttcher, C.: No faults in structure? How to diagnose hidden interaction. In: Proc. IJCAI, Montreal (August 1995)"},{"key":"26_CR2","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1109\/92.311641","volume":"2","author":"P.-Y. Chung","year":"1994","unstructured":"Chung, P.-Y., Wang, Y.-M., Hajj, I.N.: Logic design error diagnosis and correction. IEEE Transactions on Very Large Scale Integration (VLSI) Systems\u00a02, 320\u2013332 (1994)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"issue":"1","key":"26_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence\u00a032(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"26_CR4","unstructured":"Fr\u00f6hlich, P., Nejdl, W.: A Static Model-Based Engine for Model-Based Reasoning. In: Proceedings 15 th International Joint Conf. on Artificial Intelligence, Nagoya, Japan (August 1997)"},{"key":"26_CR5","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. In: Proc. ECAI, Budapest (August 1996)"},{"key":"26_CR6","volume-title":"VHDL Analysis and Modeling of Digital Systems","author":"Z. Navabi","year":"1993","unstructured":"Navabi, Z.: VHDL Analysis and Modeling of Digital Systems. McGraw- Hill, New York (1993)"},{"issue":"1","key":"26_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"26_CR8","unstructured":"Stumptner, M., Wotawa, F.: Modeling VHDL Programs for Diagnosis with Linear Computational Complexity. Technical Report DBAI-MBD-TR-95-03, Technische Universit\u00e4t Wien (June 1995)"},{"key":"26_CR9","unstructured":"Stumptner, M., Wotawa, F.: Model-based debugging of functional programs. In: Proc. DX 1998 Workshop, Cape Cod (May 1998)"},{"key":"26_CR10","unstructured":"IEEE Standard VHDL Language Reference Manual LRM Std. 1076-1987 (1988)"},{"key":"26_CR11","unstructured":"IEEE P1076.6\/D1.12 Draft Standard For VHDL Register Transfer Level Synthesis (1998)"},{"issue":"4","key":"26_CR12","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"Weiser, M.: Program slicing. IEEE Transactions on Software Engineering\u00a010(4), 352\u2013357 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR13","doi-asserted-by":"crossref","unstructured":"Wotawa, F.: New Directions in Debugging Hardware Designs. Technical Report DBAI-TR-99-24, Technische Universit\u00e4t Wien (1999)","DOI":"10.1007\/978-3-540-48765-4_26"}],"container-title":["Lecture Notes in Computer Science","Multiple Approaches to Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48765-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T22:31:05Z","timestamp":1559687465000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48765-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660767","9783540487654"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48765-4_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}