|
Volumn 3639, Issue , 2005, Pages 282-287
|
Learning-based assume-guarantee verification (tool paper)
|
Author keywords
[No Author keywords available]
|
Indexed keywords
VERIFICATION TOOLS;
|
EID: 26944432307
PISSN: 03029743
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1007/11537328_24 Document Type: Conference Paper |
Times cited : (12)
|
References (12)
|