. "On Symbolic Verification of Weakly Extended PAD" . "351EBC74DFA5E46758BD0C32967EBB945580C8D7" . . "1.0"^^ . . . "2.5160000000000000142"^^ . . "20.123999999999998778"^^ . . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . "20.123999999999998778"^^ . "8.0"^^ . . "RIV/00216224:14330/07:00021744!RIV08-MSM-14330___" . "8.0"^^ . . . "Electronic Notes in Theoretical Computer Science" . . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216224%3A14330%2F07%3A00021744!RIV08-MSM-14330___"^^ . .