Documents
Savoirs
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité, Tree automata with global constraints for the verification of security properties
Auteur
Camille Vacher
Œuvres
(
1
)
Ajouté à mes notifications
Vous serez informé des prochaines publications.