A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Peter Böhm and Tom Melham
Book Title
2008 Formal Methods in Computer Aided Design: Portland‚ Oregon‚ USA: 17–20 November 2008
Editor
Alessandro Cimatti and Robert B. Jones
ISBN
978−1−4244−2735−2
Pages
136–143
Publisher
IEEE
Year
2008