Safety Property-Driven Stubborn Sets

Publiceringsår

2016

Upphovspersoner

Hansen, Henri;Valmari, Antti

Organisationer och upphovspersoner

Tammerfors universitet

Valmari Antti

Hansen Henri

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Volym

9899

Sidor

90-103

ISSN

0302-9743

ISBN

978-3-319-45993-6

Publikationsforum

62555

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Matematik

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1007/978-3-319-45994-3_7