"93D85A9BA236C4C875638F9C36D7E86CCB9272C7" . . . "1.0"^^ . "RIV/00216305:26230/08:PU76683!RIV10-MSM-26230___" . . . . "1.0"^^ . "http://www.isvav.cz/h10/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F08%3APU76683!RIV10-MSM-26230___"^^ . "Verification of parametric concurrent systems with prioritised FIFO resource management" . "Metodika hodnocen\u00ED, v\u00FDsledek hodnocen\u00FD ji\u017E v p\u0159edchoz\u00EDm hodnocen\u00ED, body se p\u0159eb\u00EDraj\u00ED." . . . . "19.655000000000001137"^^ . . "19.655000000000001137"^^ . "19.655000000000001137"^^ . . "19.655000000000001137"^^ . . "FORMAL METHODS IN SYSTEM DESIGN" .