Amanote Research
Register
Sign In
Systematic Testing of Asynchronous Reactive Systems
doi 10.1145/2786805.2786861
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2015
Authors
Ankush Desai
Shaz Qadeer
Sanjit A. Seshia
Publisher
ACM Press