Mostrar el registro sencillo del ítem
Model Checking AllTL Properties for Set Automata
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Models and Algorithms for the Genome [MAGNOME] | |
dc.contributor.author | SOUEIDAN, Hayssam | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Models and Algorithms for the Genome [MAGNOME] | |
dc.contributor.author | NIKOLSKI, Macha | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
dc.contributor.author | SUTRE, Grégoire | |
dc.date.accessioned | 2024-04-15T09:51:03Z | |
dc.date.available | 2024-04-15T09:51:03Z | |
dc.date.created | 2006 | |
dc.date.issued | 2006 | |
dc.date.conference | 2006 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198399 | |
dc.language.iso | en | |
dc.source.title | Summer School on Modelling and Verification of Parallel Systems | |
dc.title.en | Model Checking AllTL Properties for Set Automata | |
dc.type | Communication dans un congrès | |
dc.subject.hal | Informatique [cs]/Logique en informatique [cs.LO] | |
bordeaux.page | 203-209 | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | MOVEP | |
bordeaux.country | FR | |
bordeaux.title.proceeding | Summer School on Modelling and Verification of Parallel Systems | |
bordeaux.conference.city | Bordeaux | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-00407478 | |
hal.version | 1 | |
hal.invited | non | |
hal.proceedings | oui | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00407478v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=Summer%20School%20on%20Modelling%20and%20Verification%20of%20Parallel%20Systems&rft.date=2006&rft.spage=203-209&rft.epage=203-209&rft.au=SOUEIDAN,%20Hayssam&NIKOLSKI,%20Macha&SUTRE,%20Gr%C3%A9goire&rft.genre=unknown |
Archivos en el ítem
Archivos | Tamaño | Formato | Ver |
---|---|---|---|
No hay archivos asociados a este ítem. |