. . . . . . "LTL to B\u00FCchi Automata Translation: Fast and More Deterministic" . . "Eb+RzQhXWXxGF.uGAFx!qYxugC0=" . "TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems" . . . . . "44.376"^^ . "44.376"^^ . "34.42"^^ . . . . . "1"^^ . . . . . "34.42"^^ . . "RIV/00216224:14330/12:00057222!RIV13-GA0-14330___" . . "http://www.isvav.cz/h13/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F12%3A00057222!RIV13-GA0-14330___"^^ . "\u010Dl\u00E1nek ve sborn\u00EDku evidovan\u00E9m v datab\u00E1zi Scopus bodovan\u00FD podle SJR zdroje typu \"Book Series\" nebo \"Conference Proceedings\"" . .