PanLinx
čeština
ces-000
bisimulace
English
eng-000
bisimulation
PanLex