Verification of modal properties using Boolean equation systemsAngelika MaderAusverkauftBuch bewachen
