DMCA

Synchronous and bidirectional component interfaces (2002)

by Arindam Chakrabarti , Luca De Alfaro , Thomas A. Henzinger , Freddy Y. C. Mang
Venue:In CAV 02: Proc. of 14th Conf. on Computer Aided Verification, volume 2404 of Lect. Notes in Comp. Sci
Citations:40 - 10 self