Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities.

Frdric Lang, Radu Mateescu, Franco Mazzanti

Browse the full TACAS paper archive.