{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:21:58Z","timestamp":1742980918756,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540182948"},{"type":"electronic","value":"9783642456282"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/978-3-642-45628-2_11","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T21:25:11Z","timestamp":1330982711000},"page":"119-128","source":"Crossref","is-referenced-by-count":4,"title":["Knowledge Based Tools for Testability Checking"],"prefix":"10.1007","author":[{"given":"M.","family":"Bidjan-Irani","sequence":"first","affiliation":[]},{"given":"U.","family":"Gl\u00e4sser","sequence":"additional","affiliation":[]},{"given":"F. J.","family":"Rammig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Bennetts, R.G., \u201cDesign of Testable Logic Circuits\u201d, Addison-Wesley Publishers Limited, 1984."},{"key":"11_CR2","unstructured":"Jain, S.K., \u201cFriendly User Version of Automated Design Audits\u201d, Bell Laboratories, March 1983."},{"key":"11_CR3","first-page":"165","volume":"2","author":"EB Eichelberger","year":"1978","unstructured":"Eichelberger, E.B., Williams, T.W., \u201cA Logic Design Structure for LSI Testability\u201d, Journal Design Automation and Fault tolerant Computing, Vol. 2, pp 165\u2013178, 1978.","journal-title":"Journal Design Automation and Fault tolerant Computing"},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-10756-0","volume-title":"VENUS: Entwurf von VLSI-SchaLtungen","author":"E H\u00f6rbst","year":"1986","unstructured":"H\u00f6rbst, E., Nett, N., Schw\u00e4rtzel, H., \u201cVENUS: Entwurf von VLSI-SchaLtungen\u201d, Springer-Verlag, Berlin 1986."},{"key":"11_CR5","first-page":"213","volume-title":"10th Int. Conf. on CHDL","author":"R Dachauer","year":"1981","unstructured":"Dachauer, R., Rammig, F.J., Gr\u00f6ning, K., Lewke, K.D., \u201cThe CAP\/DSDL System: Simulator and case study\u201d, 10th Int. Conf. on CHDL, pp. 213\u2013217, Kaiserslautern, FRG, Sept. 1981."},{"key":"11_CR6","unstructured":"Rammig, F.J., \u201cPreliminary CAP\/DSDL Language Reference Manual\u201d, Technical Report 129 Dep. Info., Uni. Dortmund, 1981."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Savory, S., \u201cTwaice: Die Expertensystem-Shell von NIXDORF\u201d, Wissenbasierte Systeme, GI-Kongre\u03b2, Hrsg.: W. Breuer und B. Radig, Springer Verlag, 1985.","DOI":"10.1007\/978-3-642-70840-4_22"},{"key":"11_CR8","unstructured":"Savory, S., \u201cK\u00fcnstliche Intelligenz und Expertensystem\u201d, Oldenbourg, 1985."},{"key":"11_CR9","unstructured":"Kastens, U., Hutt, B., Zimmermann, E., \u201cGAG: A Practical Compiler Generator\u201d, Springer-Verlag, 1982."},{"key":"11_CR10","unstructured":"Siemens, \u201cPr\u00fcftechnische Entwurfsregeln\u201d, in SIEMENS: Semicustom, Standardzellen CMOS, Handbuch 1, Schaltungsentwicklung, August 1983."},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Bhavsar, D. K., \u201cDesign for Test Calculus: An Algorithm for DFT Rule Checking\u201d, Proc. of the 20th Design Automation Conference, Miami 1983.","DOI":"10.1109\/DAC.1983.1585666"}],"container-title":["Informatik-Fachberichte","Fehlertolerierende Rechensysteme \/ Fault-Tolerant Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45628-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T17:09:25Z","timestamp":1675098565000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-45628-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540182948","9783642456282"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45628-2_11","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1987]]}}}