Ansätze zum Model-Checking nichtlinearer analoger Systeme, Walter Hartong
Nikto zatiaľ neohodnotil.Ohodnotiť