@article{BBR10a,
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 journal = {International Journal on Software Tools for Technology Transfer (STTT)},
 number = {2},
 optmonth = {May},
 optnote = {Special Section on SPIN 07},
 pages = {139--153},
 title = {{Scalable Shared Memory LTL Model Checking}},
 url = {http://dx.doi.org/10.1007/s10009-010-0136-z},
 volume = {12},
 year = {2010}
}