Ansätze zum Model-Checking nichtlinearer analoger Systeme, Walter Hartong
Nikdo zatím neohodnotil.Ohodnotit