Roger Germundsson

A Polynomial View of Logics

Roger Germundsson, 1991 .

Hybrid and Discrete Systems in Automatic Control - Some New (Linköping) Approaches

Lennart Ljung, Jan-Erik Strömberg, Inger Klein, 1996 .

Verification of a Large Discrete System using Algebric Methods

Roger Germundsson, Johan Gunnarsson, Jonas Plantin, 1996 .