@inproceedings{BBL07,
 author = {Jiří Barnat and Luboš Brim and Martin Leucker},
 booktitle = {The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007)},
 publisher = {IEEE Computer Society Press},
 title = {{Parallel Model Checking and the {FMICS-jETI} Platform}},
 year = {2007}
}