. "RIV/00216224:14330/07:00019439!RIV10-GA0-14330___" . . "http://www.isvav.cz/h11/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F07%3A00019439!RIV10-GA0-14330___"^^ . "Component Substitutability via Equivalencies of Component-Interaction Automata" . . . . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "1"^^ . . . "8.074"^^ . . "8.074"^^ . . . "Electronic Notes in Theoretical Computer Science" . "v3YAVrqaLRe-xJWkAb0.pu1!No4=" .