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/journals/sttt/BarnatBR10.xml
Jiri Barnat Lubos Brim Petr Rockai Scalable shared memory LTL model checking. 139-153 2010 12 Int. J. Softw. Tools Technol. Transf. 2 https://doi.org/10.1007/s10009-010-0136-z db/journals/sttt/sttt12.html#BarnatBR10