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

Siva Anantharaman (1) , Gaétan Hains (1) , Michael Rusinowitch (2) , Paul Gastin (3) , John Mullins (4)

1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 CASSIS - Combination of approaches to the security of infinite states systems
3 LSV - Laboratoire Spécification et Vérification [Cachan]
4 EPM - École Polytechnique de Montréal

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, 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⟩