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

Siva Anantharaman; Gaétan Hains; Michael Rusinowitch; Paul Gastin; John Mullins

hal-00468802, version 1

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

Siva Anantharaman () ¹, Gaétan Hains () ¹, Michael Rusinowitch () ², Paul Gastin ³, John Mullins ⁴

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

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

1: Laboratoire d'Informatique Fondamentale d'Orléans (LIFO)
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges
2: CASSIS (INRIA Lorraine - LORIA / LIFC)
INRIA – CNRS : FRE2661 – Université de Franche-Comté – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)
3: Laboratoire Spécification et Vérification [Cachan] (LSV)
CNRS : UMR8643 – INRIA – École normale supérieure de Cachan - ENS Cachan
4: Ecole Polytechnique de Montreal (EPM)
Université de Montréal

hal-00468802, version 1
http://hal.archives-ouvertes.fr/hal-00468802
oai:hal.archives-ouvertes.fr:hal-00468802
From: Siva Anantharaman <>
Submitted on: Wednesday, 31 March 2010 15:58:13
Updated on: Wednesday, 31 March 2010 15:58:13

See detailed view

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Directions of work</head>
<biblStruct type="article" xml:id="hal-00468802"><analytic>
<author><persName><forename>Siva</forename><surname>Anantharaman</surname></persName>
<affiliation>
<orgName type="laboratory">LIFO</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<country>FR</country>
<orgName type="institution">Université d'Orléans : EA4022</orgName>
<orgName type="institution">Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
</affiliation>
</author>
<author><persName><forename>Gaétan</forename><surname>Hains</surname></persName>
<affiliation>
<orgName type="laboratory">LIFO</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
<country>FR</country>
<orgName type="institution">Université d'Orléans : EA4022</orgName>
<orgName type="institution">Ecole Nationale Supérieure d'Ingénieurs de Bourges</orgName>
</affiliation>
</author>
<author><persName><forename>Michael</forename><surname>Rusinowitch</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA / LIFC</orgName>
<orgName type="team">CASSIS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : FRE2661</orgName>
<orgName type="institution">Université de Franche-Comté</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Paul</forename><surname>Gastin</surname></persName>
<affiliation>
<orgName type="laboratory">LSV</orgName>
<orgName type="team">Laboratoire Spécification et Vérification [Cachan]</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8643</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">École normale supérieure de Cachan - ENS Cachan</orgName>
</affiliation>
</author>
<author><persName><forename>John</forename><surname>Mullins</surname></persName>
<affiliation>
<orgName type="laboratory">EPM</orgName>
<orgName type="team">Ecole Polytechnique de Montreal</orgName>
<country>CA</country>
<orgName type="institution">Université de Montréal</orgName>
</affiliation>
</author>
<title type="main" level="a">Journal of Automata, Languages and Combinatorics, Vol. 11(1)</title></analytic><monogr><imprint><publisher>Otto-von-Guericke-Universität, D-39016 Magdeburg</publisher><biblScope type="publicationDate">2006-00-00</biblScope><biblScope type="pp">142</biblScope></imprint></monogr><idno type="HALid">http://hal.archives-ouvertes.fr/hal-00468802</idno></biblStruct>
</listBibl>
</listBibl>