Verification of modal properties using Boolean equation systems, Angelika Mader
Nikdo zatím neohodnotil.Ohodnotit