{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:52Z","timestamp":1725664552910},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:33:10Z","timestamp":1330277590000},"page":"21-39","source":"Crossref","is-referenced-by-count":1,"title":["Calculating digital counters"],"prefix":"10.1007","author":[{"given":"Walter","family":"Dosch","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/32.21743","volume":"15","author":"F.L. Bauer","year":"1989","unstructured":"F.L. Bauer, B. M\u00f6ller, H. Partsch, P. Pepper: Formal Program Construction by Transformations \u2014 Computer-Aided, Intuition Guided Programming. IEEE Transactions on Software Engineering 15:2, 165\u2013180 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR2","first-page":"1","volume-title":"Asynchronous Design Methodologies. IFIP Transaction A-28","author":"K. Berkel van","year":"1993","unstructured":"K. van Berkel: VLSI Programming of a Modulo-N Counter with Constant Response Time and Constant Power. In: S. Furber, M. Edwards: Asynchronous Design Methodologies. IFIP Transaction A-28. Amsterdam: Elsevier 1993, 1\u201311"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"R.T. Boute: Representational and Denotational Semantics of Digital Circuits. IEEE Transactions on Computers 38:7, 986\u2013999","DOI":"10.1109\/12.30850"},{"key":"3_CR4","series-title":"McGraw-Hill Computer Science Series","volume-title":"Digital Computer Arithmetic \u2014 Design and Implementation","author":"J.J.F. Cavanagh","year":"1984","unstructured":"J.J.F. Cavanagh: Digital Computer Arithmetic \u2014 Design and Implementation. McGraw-Hill Computer Science Series. New York: McGraw-Hill 1984"},{"volume-title":"Formal VLSI Specification and Synthesis \u2014 VLSI Design Methods-I & Formal VLSI Correctness Verification \u2014 VLSI Design Methods-II","year":"1990","key":"3_CR5","unstructured":"L. Claesen (ed.): Formal VLSI Specification and Synthesis \u2014 VLSI Design Methods-I & Formal VLSI Correctness Verification \u2014 VLSI Design Methods-II. Amsterdam: Elsevier 1990"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BFb0018275","volume-title":"Methods of Programming \u2014 Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544","author":"C. D. Kloos","year":"1991","unstructured":"C. Delgado Kloos, W. Dosch: Transformational Development of Circuit Descriptions for Binary Adders. In: M. Broy, M. Wirsing (eds.): Methods of Programming \u2014 Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544. Berlin: Springer 1991, 217\u2013237"},{"key":"3_CR7","series-title":"Workshops in Computing Series","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/978-1-4471-3544-9_12","volume-title":"Designing Correct Circuits","author":"C. D. Kloos","year":"1991","unstructured":"C. Delgado Kloos, W. Dosch: Efficient Circuits as Implementations of Non-Strict Functions. Workshops in Computing Series. In: G. Jones, M. Sheeran (eds.): Designing Correct Circuits. London: Springer 1991, 212\u2013230"},{"key":"3_CR8","first-page":"238","volume-title":"Computer Systems and Software Engineering","author":"C. D. Kloos","year":"1992","unstructured":"C. Delgado Kloos, W. Dosch, B. M\u00f6ller: Design and Proof of Multipliers by Correctness-Preserving Transformation. In: P. Dewilde, J. Vandewalle (eds.): Computer Systems and Software Engineering. Proc. 6th Annual European Computer Conference (CompEuro 92). Los Alamitos, Ca.: IEEE Computer Society Press 1992, 238\u2013243"},{"key":"3_CR9","volume-title":"Digital Systems and Hardware\/Firmware Algorithms","author":"M.D. Ercegovac","year":"1985","unstructured":"M.D. Ercegovac, T. Lang: Digital Systems and Hardware\/Firmware Algorithms. New York: John Wiley & Sons 1985"},{"issue":"9","key":"3_CR10","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/32.58783","volume":"16","author":"F.K. Hanna","year":"1990","unstructured":"F.K. Hanna, N. Daeche, M. Longley: Specification and Verification Using Dependent Types. IEEE Transactions on Software Engineering 16:9, 949\u2013964 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1\u20132","key":"3_CR11","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0167-6423(94)90009-4","volume":"22","author":"G. Jones","year":"1994","unstructured":"G. Jones, M. Sheeran: Designing Arithmetic Circuits by Refinement in Ruby. Science of Computer Programming 22:1\u20132, 107\u2013135 (1994)","journal-title":"Science of Computer Programming"},{"key":"3_CR12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BFb0021725","volume-title":"Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science 683","author":"J.L.W. Kessels","year":"1993","unstructured":"J.L.W. Kessels:Calculational Derivation of a Counter with Bounded Response Time. In: G.J. Milne, L. Pierre (eds): Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science 683. Berlin: Springer 1993, 203\u2013213"},{"key":"3_CR13","volume-title":"Digital Design","author":"M.M. Mano","year":"1984","unstructured":"M.M. Mano: Digital Design. Englewood Cliffs, N.J.: Prentice Hall 1984"},{"key":"3_CR14","volume-title":"Introduction to VLSI Systems","author":"C. Mead","year":"1980","unstructured":"C. Mead, L. Conway: Introduction to VLSI Systems. Reading, Mass: Addison-Wesley 1980"},{"key":"3_CR15","first-page":"363","volume-title":"Hardware Description With Recursion Equations","author":"J.T. O'Donnell","year":"1987","unstructured":"J.T. O'Donnell: Hardware Description With Recursion Equations. Proc. IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications. Amsterdam: North-Holland 1987, 363\u2013382"},{"key":"3_CR16","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Computer Arithmetic Systems \u2014 Algorithms, Architecture and Implementations","author":"A.R. Omondi","year":"1994","unstructured":"A.R. Omondi: Computer Arithmetic Systems \u2014 Algorithms, Architecture and Implementations. Prentice Hall International Series in Computer Science. New York: Prentice Hall 1994"},{"key":"3_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61512-2","volume-title":"Specification and Transformation of Programs \u2014 A Formal Approach to Software Development","author":"H. Partsch","year":"1990","unstructured":"H. Partsch: Specification and Transformation of Programs \u2014 A Formal Approach to Software Development. Berlin: Springer 1990"},{"key":"3_CR18","volume-title":"Computer Number Systems and Arithmetic","author":"N.R. Scott","year":"1985","unstructured":"N.R. Scott: Computer Number Systems and Arithmetic. Englewood Cliffs, N.J.: Prentice Hall 1985"},{"key":"3_CR19","series-title":"The Kluwer International Series in Engineering and Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2764-0","volume-title":"A Formal Approach to Hardware Design","author":"J. Staunstrup","year":"1994","unstructured":"J. Staunstrup: A Formal Approach to Hardware Design. The Kluwer International Series in Engineering and Computer Science. Boston: Kluwer 1994"},{"key":"3_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-57780-2","volume-title":"Digital Circuit Design for Computer Science Students \u2014 An Introductory Textbook","author":"N. Wirth","year":"1995","unstructured":"N. Wirth: Digital Circuit Design for Computer Science Students \u2014 An Introductory Textbook. Berlin: Springer 1995"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:37:42Z","timestamp":1619559462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}