Remplissez le formulaire ci-dessous afin d’envoyer cette page par courriel Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride
Vérification antispam (obligatoire) Veuillez cocher la case "Je ne suis pas un robot"