VIAF

Virtual International Authority File

Search

Vacher, Camille, 1984-.... ISNI Sudoc [ABES], France

VIAF ID: 209266815 (Personal)

Permalink: //viaf.org/viaf/209266815

ISNI: 0000  0003  5861  7479 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité / par Vacher Camille, 07/12/2010 Sudoc [ABES], France
Tree automata with global constraints for the verification of security properties. Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (1)

Open Section Close Section About

Open Section Close Section History of VIAF ID:209266815 (2)