@article{BB2011,
 article_number = {2011},
 author = {Luboš Brim and Jiří Barnat},
 doi = {http://dx.doi.org/10.4204/EPTCS.72.1},
 issn = {2075-2180},
 journal = {Electronic Proceedings in Theoretical Computer Science},
 keywords = {Model checking; hardware platforms; parallelism},
 language = {eng},
 note = {PDMC 2011, Invited talk},
 title = {Platform Dependent Verification: On Engineering Verification Tools for 21st Century},
 url = {http://eptcs.org/paper.cgi?PDMC2011.1},
 volume = {72},
 year = {2011}
}