Model Checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics
Résumé
no abstract
no abstract
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699943
Soumis le : vendredi 2 février 2018-22:52:01
Dernière modification le : mercredi 12 février 2025-16:16:51