Theses on the same topic (having an identical keyword):

consistency checking

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Effective Algorithms for Time Relation Checking in Message Sequence Charts
 (Ľuboš Korenčiak)

2011, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/c4cbn/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

List of theses with an identical keyword.

Computer-aided processing of metabolic reactions
 (Martin Stropek)

2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/m4lhw/ | Aplikovaná informatika / Bioinformatika | Theses on a related topic