Sign in

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems.

Frederik M. BønnelandPeter Gjøl JensenKim Guldstrand LarsenMarco MuñizJirí Srba
Published in: CAV (1) (2018)
Keyphrases
  • complex systems
  • database
  • artificial neural networks
  • search space
  • management system
  • retrieval systems
  • computing systems