Using SSDE for USB2.0 conformance co-verification.

Thierry J.-F. Omns, Gerard Postuma, Jos Verhaegh, Marleen Boonen, Nick Gatherer

Browse the full MEMOCODE paper archive.