Two-Dimensional Regular Expressions for Compositional Bus Protocols.

Kathi Fisler

Browse the full FMCAD paper archive.