@inproceedings{BBS01,
 author = {Jiří Barnat and Luboš Brim and Jitka Stříbrná},
 booktitle = {Proc. SPIN Workshop on Model Checking of Software},
 optaddress = {Berlin, Germany},
 opteditor = {Matthew B. Dwyer},
 pages = {200--216},
 publisher = {Springer},
 series = {LNCS},
 title = {Distributed {L}{T}{L} {M}odel-{C}hecking in {S}{P}{I}{N}},
 volume = {2057},
 year = {2001}
}