Xinxin Zhang, Morten Lind, Ole Ravn. Consequence Reasoning in Multilevel Flow Modelling. In Sundaram Narayanan, editor, 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, IFAC HMS 2013, Las Vegas, Nevada, USA, August 11-15, 2013. pages 187-194, International Federation of Automatic Control, 2013. [doi]
Abstract is missing.