Exploring a Parallel SCC Algorithm: Using TLA+ and the TLC Model Checker

Jaco van de Pol

2022-12-02 13:15:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse