@article{BCS+08,
 author = {Nikola Beneš and Ivana Černá and Jiří Sochor and Pavlína Vařeková and Barbora Zimmerová},
 bibsource = {DBLP, http://dblp.uni-trier.de},
 ee = {http://dx.doi.org/10.1016/j.entcs.2008.11.014},
 journal = {Electr. Notes Theor. Comput. Sci.},
 number = {2},
 pages = {67--83},
 title = {A Case Study in Parallel Verification of Component-Based Systems},
 url = {http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4V2NBYT-6&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&_docanchor=&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=b8cc3036f3452b06489efca065181db2},
 volume = {220},
 year = {2008}
}