@inproceedings{950140,
 address = {Heidelberg Dordrecht London New York},
 author = {Nikola Beneš and Ivana Černá and Jan Křetínský},
 booktitle = {ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium},
 howpublished = {tištěná verze "print"},
 isbn = {978-3-642-24371-4},
 keywords = {modal transition systems; model checking; refinement; conjunction},
 language = {eng},
 location = {Heidelberg Dordrecht London New York},
 pages = {228-242},
 publisher = {Springer},
 title = {Modal Transition Systems: Composition and LTL Model Checking},
 year = {2011}
}