Journal of Automata, Languages and Combinatorics, Vol. 11(1) - Archive ouverte HAL Access content directly
Books Year : 2006

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

Abstract

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

Dates and versions

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

Identifiers

  • HAL Id : hal-00468802 , version 1

Cite

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⟩
193 View
0 Download

Share

Gmail Facebook X LinkedIn More