×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [false r p]
Home >
false r p
System Design Research Laboratory Specification-based Testing with Linear Temporal Logic Li Tan Oleg Sokolsky Insup Lee University of Pennsylvania.
212 views