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]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Models and Algorithms for the Genome [MAGNOME]
Langue
en
Communication dans un congrès
Ce document a été publié dans
Summer School on Modelling and Verification of Parallel Systems, Summer School on Modelling and Verification of Parallel Systems, MOVEP, 2006, Bordeaux. 2006p. 203-209
Origine
Importé de halUnités de recherche