@inproceedings{960030,
 address = {Neuveden},
 author = {Nikola Beneš and Ivana Černá and Milan Křivánek},
 booktitle = {Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation},
 doi = {http://dx.doi.org/10.4204/EPTCS.72},
 editor = {Jiří Barnat and Keijo Heljanko},
 howpublished = {elektronická verze "online"},
 keywords = {component-based systems; model checking; parallelization},
 language = {eng},
 location = {Neuveden},
 pages = {63-67},
 publisher = {Open Publishing Association},
 title = {CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems},
 url = {http://eptcs.org/paper.cgi?PDMC2011.7},
 year = {2011}
}