Common use of Xxxxxxxx, H Clause in Contracts

Xxxxxxxx, H. The Modest toolset: an integrated environment for quantitative modelling and verification. In: A´brah´am, X., Xxxxxxxx, X. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593–598. Springer, Heidelberg (2014). doi:10. 1007/978-3-642-54862-8 51 11. Xxxxxxx, X., Xxxxxxx, M.: Requirements for high level models supporting design space exploration in model-based systems engineering. In: Procedia Computer Sci- ence, vol. 16, pp. 293–302. Elsevier (2013)

Xxxxxxxx, H. The Modest toolset: an integrated environment for quantitative modelling and verificationverification. In: A´brah´am, X., Xxxxxxxx, X. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593–598. Springer, Heidelberg (2014). doi:10. 1007/978-3-642-54862-8 51 11. Xxxxxxx, X., Xxxxxxx, M.: Requirements for high level models supporting design space exploration in model-based systems engineering. In: Procedia Computer Sci- ence, vol. 16, pp. 293–302. Elsevier (2013)