Original title: Sumarizace větvených cyklů
Translated title: Branching loop summarization
Authors: Tatarko, William ; Blicha, Martin (advisor) ; Bednárek, David (referee)
Document type: Master’s theses
Year: 2021
Language: eng
Abstract: [eng] [cze]

Keywords: summarization|algorithm|reachabilitiy|verification|digraphs; sumarizace|algoritmus|dosažitelnost|verifikace|orientované grafy

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/127784

Permalink: http://www.nusl.cz/ntk/nusl-448637


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Master’s theses
 Record created 2021-07-25, last modified 2021-07-25


No fulltext
  • Export as DC, NUŠL, RIS
  • Share