@inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150130-160600750, title = "Third Caltech Conference on Very Large Scale Integration", chapter = "A New Channel Routing Algorithm", year = "1983", url = "https://resolver.caltech.edu/CaltechAUTHORS:20150130-160600750", id = "record", isbn = "0914894862" } @inbook{https://resolver.caltech.edu/CaltechAUTHORS:20150130-160953426, title = "Third Caltech Conference on Very Large Scale Integration", chapter = "A Hierarchical Simulator Based on Formal Semantics", year = "1983", url = "https://resolver.caltech.edu/CaltechAUTHORS:20150130-160953426", id = "record", isbn = "0914894862" }