Cite

HARVARD Citation

    Schallert, C. (2017). Automated safety analysis by minimal path set detection for multi-domain object-oriented models. Mathematical and computer modelling of dynamical systems. 23 (3), pp. 341-360. [Online]. 
  
Back to record