skip to main content
Show Results with: Show Results with:

SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler

Zhang, Haitao; Lu, Yonggang

Lecture notes in computer science. Number 10189 (2017); pp 181-200 -- Springer

Check library holdings

Searching Remote Databases, Please Wait