Skip to main content
Open Access Publications from the University of California

UC Berkeley

UC Berkeley Previously Published Works bannerUC Berkeley

Systematic testing of asynchronous reactive systems

  • Author(s): Desai, Ankush
  • Qadeer, Shaz
  • Seshia, Sanjit A
  • Editor(s): Nitto, Elisabetta Di
  • Harman, Mark
  • Heymans, Patrick
  • et al.
Main Content
Current View