Difference between revisions of "People:Jürgen Giesl"

From Termination-Portal.org
Jump to navigationJump to search
m (Reverted edits by Admin (Talk); changed back to last version by Nowonder)
Line 9: Line 9:
 
|middlenames=
 
|middlenames=
 
|lastname=Giesl
 
|lastname=Giesl
 +
|titles=
 
|email=giesl@informatik.rwth-aachen.de
 
|email=giesl@informatik.rwth-aachen.de
 
|homepage=http://verify.rwth-aachen.de/giesl/
 
|homepage=http://verify.rwth-aachen.de/giesl/

Revision as of 18:03, 29 March 2008


Jürgen Giesl