4 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Lukáš Holík, Jiří Šimáček
When comparing the fastest algorithm for computing the largest simulation preorder over Kripke structures with the one for labeled transition systems (LTS), there is a noticeable t…