The AF Tool for Specifying and Analyzing Markov Models
Résumé
No abstract
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Anne Jaigu : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00790881
Soumis le : jeudi 21 février 2013-13:47:47
Dernière modification le : mercredi 6 novembre 2024-11:18:02