Uncategorized (2)

News Items Replies Latest Activity

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,…

Started by Thomas Noll

0 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,…

Started by Thomas Noll

0 Jul 31, 2014

RSS

D-MILS Partners

 

 

 

 

 

 

 

 

© 2019   Created by Scott Hansen.   Powered by

Badges  |  Report an Issue  |  Terms of Service