Thomas Noll
  • Male
  • Aachen
  • Germany

Thomas Noll's News Items

Best Paper Award at FACS 2014

The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll, has received the Best Paper Award at the…Continue

Started Sep 12, 2014

Paper on Compositional Analysis Using Component-Oriented Interpolation

The paper "Compositional Analysis Using Component-Oriented Interpolation", co-authored by team members Joost-Pieter Katoen and Thomas Noll, has been accepted at the…Continue

Started Jul 31, 2014

 

Thomas Noll's Page

Comment Wall

You need to be a member of D-MILS Project Website to add comments!

  • No comments yet!
 
 
 

D-MILS Partners

 

 

 

 

 

 

 

 

© 2017   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service