Tarvo Raudvere. System Level Techniques for Verification and Synchronization after Local Design Refinements. PhD thesis, Royal Institute of Technology, Stockholm, Sweden, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.