Model-Checking I&C Logics — Practical Examples
Publiceringsår
2023
Upphovspersoner
Pakonen, Antti
Organisationer och upphovspersoner
Teknologiska forskningscentralen VTT Ab
Pakonen Antti 
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
Förläggare
Sidor
1610-1619
ISBN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
El-, automations- och telekommunikationsteknik, elektronik
Nyckelord
[object Object],[object Object],[object Object]
Identifierade tema
[object Object]
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.13182/NPICHMIT23-41122
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja