2 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe +2
The verification of liveness conditions is an important aspect of state-based rigorous methods. This article investigates this problem in a fragment □LTL of the logic LTL(E…