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
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Special Issue: Selected Papers of the International Workshop on Security Analysis of Systems: Formalisms and Tools (Orléans, France, June 21–22, 2004)
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00468802
Contributor : Siva Anantharaman <>
Submitted on : Wednesday, March 31, 2010 - 3:58:13 PM
Last modification on : Thursday, January 17, 2019 - 3:06:04 PM

Identifiers

  • HAL Id : hal-00468802, version 1

Citation

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

Share

Metrics

Record views

309