Ausgabe 2-3/2022
Inhalt (4 Artikel)
Open Access
Original Article
An automated system repair framework with signal temporal logic
Mert Ergurtuna, Beyazit Yalcinkaya, Ebru Aydin Gol
Open Access
Original Article
Proportional lumpability and proportional bisimilarity
Andrea Marin, Carla Piazza, Sabina Rossi