Model Checking III

28 Novembro 2017, 18:30 • Vasco Manuel Thudichum de Serpa Vasconcelos

  • Specification of properties in LTL