DMCA

Synthesis of interface automata (2005)

Cached

Download Links

by Purandar Bhaduri
Venue:In Third International Symposium on Automated Technology for Verification and Analysis (ATVA 2005
Citations:4 - 2 self