skip to main content
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

Notes here allow you and other users to comment and make notes on items, viewable by the whole community.
NB: Please use the Report Catalogue Error form to advise us of catalogue inaccuracies.

Log in to add a note

Tags allow you and others to define and search on related groups of items.

Log in to add / remove tags

Searching Remote Databases, Please Wait