TY  - RPRT
TI  - Software Model Checking with Explicit Scheduler and Symbolic Threads
AU  - Alessandro Cimatti
AU  - Iman Narasamdya
AU  - Marco Roveri
PY  - 2012
DO  - 10.2168/lmcs-8(2:18)2012
UR  - https://arxiv.org/abs/1206.3182
ID  - 1206.3182
ER  -