27 citations · 106 across the 15 of their papers we have counts for
1 paper · 2 filters
Luboš Brim, Jiří Barnat
The paper overviews recent developments in platform-dependent explicit-state LTL model checking.