7 citations · 11 across the 2 of their papers we have counts for
1 paper · 1 filter
Maciej Gazda, Tim A. C. Willemse
We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according t…