@inproceedings{BBH13LTL,
 author = {Jiří Barnat and Luboš Brim and Vojtěch Havel},
 booktitle = {{Application of Concurrency to System Design (ACSD)}},
 doi = {10.1109/ACSD.2013.8},
 keywords = {divine},
 pages = {51--59},
 publisher = {IEEE},
 title = {{LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model}},
 year = {2013}
}