Master 2 LC TD 5 : Logique temporelle LTL - IRIF
Exercice 2 : Compréhension de LTL. Donnez un syst`eme qui satisfait les formules LTL suivantes o`u argumentez pourquoi il n'y en a pas. 1. 23p.Télécharger Master 2 LC TD 5 : Logique temporelle LTL - IRIF pdf
