Journal of Automata, Languages and Combinatorics, Vol. 11(1) - Archive ouverte HAL
Ouvrages Année : 2006

Journal of Automata, Languages and Combinatorics, Vol. 11(1)

Siva Anantharaman
  • Fonction : Directeur scientifique
  • PersonId : 833672
Laboratoire d'Informatique Fondamentale d'Orléans
Gaétan Hains
Laboratoire d'Informatique Fondamentale d'Orléans
Michael Rusinowitch
Combination of approaches to the security of infinite states systems
Paul Gastin
  • Fonction : Directeur scientifique
Laboratoire Spécification et Vérification [Cachan]
John Mullins
  • Fonction : Directeur scientifique
École Polytechnique de Montréal

Résumé

Special Issue: Selected Papers of the International Workshop on Security Analysis of Systems: Formalisms and Tools (Orléans, France, June 21–22, 2004)

Domaines

Informatique et langage [cs.CL]

Siva Anantharaman  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00468802

Soumis le : mercredi 31 mars 2010-15:58:13

Dernière modification le : lundi 11 septembre 2023-17:41:18

Fichier non déposé

Dates et versions

hal-00468802 , version 1 (31-03-2010)

Identifiants

  • HAL Id : hal-00468802 , version 1

Citer

Siva Anantharaman, Gaétan Hains, Michael Rusinowitch, Paul Gastin, John Mullins (Dir.). Journal of Automata, Languages and Combinatorics, Vol. 11(1). Otto-von-Guericke-Universität, D-39016 Magdeburg, pp.142, 2006. ⟨hal-00468802⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-FCOMTE UNIV-BM UNIV-ORLEANS ENS-CACHAN FEMTO-ST UNIV-BM-THESE MSL MSL-THESE UNIV-LORRAINE INRIA2 LORIA LORIA-FM ENS-PARIS-SACLAY
216 Consultations
0 Téléchargements

Partager

More