Parallel External Directed Model Checking with Linear I/O (2006)

Cached

Download Links

by Shahid Jabbar , Stefan Edelkamp
Venue:In VMCAI
Citations:20 - 5 self