Verification of modal properties using Boolean equation systems, Angelika Mader
Nikto zatiaľ neohodnotil.Ohodnotiť