GSTE is partitioned model checking

From MaRDI portal
Publication:2385196