CITATION STYLE
McConnell, B., & Tucker, J. V. (1993). Infinite Synchronous Concurrent Algorithms The Algebraic Specification and Verification of a Hardware Stack. In Logic and Algebra of Specification (pp. 321–375). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-58041-3_9
Mendeley helps you to discover research relevant for your work.