Non linear time discrete systems : a general approach by nonlinear superposition /

by Gossel, Michael, Gossel, Michael
Published 1982

New Methods of Concurrent Checking

by Gössel, Michael., Ocheretny, Vitaly., Sogomonyan, Egor., Marienfeld, Daniel.
Published 2008