iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/nfm/BarnatBR12.xml
Jiri Barnat Lubos Brim Petr Rockai Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs. 252-266 2012 NASA Formal Methods https://doi.org/10.1007/978-3-642-28891-3_25 conf/nfm/2012 db/conf/nfm/nfm2012.html#BarnatBR12