Enforcement of (Timed) Properties with Uncontrollable Events
Publiceringsår
2015
Upphovspersoner
Renard, Matthieu; Falcone, Yliès; Rollet, Antoine; Pinisetty, Srinivas; Jéron, Thierry; Marchand, Hervé
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Theoretical Aspects of Computing ICTAC 2015, Cali, October 2015
Förläggare
Sidor
542-560
ISBN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Nyckelord
[object Object],[object Object],[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja