Model Checking AllTL Properties for Set Automata
SOUEIDAN, Hayssam
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
NIKOLSKI, Macha
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
SOUEIDAN, Hayssam
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
NIKOLSKI, Macha
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
< Reduce
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Language
en
Communication dans un congrès
This item was published in
Summer School on Modelling and Verification of Parallel Systems, Summer School on Modelling and Verification of Parallel Systems, MOVEP, 2006, Bordeaux. 2006p. 203-209
Origin
Hal imported