Mostrar el registro sencillo del ítem

hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierModels and Algorithms for the Genome [MAGNOME]
dc.contributor.authorSOUEIDAN, Hayssam
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierModels and Algorithms for the Genome [MAGNOME]
dc.contributor.authorNIKOLSKI, Macha
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorSUTRE, Grégoire
dc.date.accessioned2024-04-15T09:51:03Z
dc.date.available2024-04-15T09:51:03Z
dc.date.created2006
dc.date.issued2006
dc.date.conference2006
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198399
dc.language.isoen
dc.source.titleSummer School on Modelling and Verification of Parallel Systems
dc.title.enModel Checking AllTL Properties for Set Automata
dc.typeCommunication dans un congrès
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
bordeaux.page203-209
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.titleMOVEP
bordeaux.countryFR
bordeaux.title.proceedingSummer School on Modelling and Verification of Parallel Systems
bordeaux.conference.cityBordeaux
bordeaux.peerReviewedoui
hal.identifierhal-00407478
hal.version1
hal.invitednon
hal.proceedingsoui
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00407478v1
bordeaux.COinSctx_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

ArchivosTamañoFormatoVer

No hay archivos asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem