selected publications

• conference paper

  • State-Based Real-Time Analysis for Function Networks and Marte 2015