undefined

Fair testing and stubborn sets

Publiceringsår

2016

Upphovspersoner

Valmari, Antti;Vogler, Walter

Organisationer och upphovspersoner

Tammerfors universitet

Valmari Antti

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

Model Checking Software

Förläggare

Springer Verlag

Volym

9641

Sidor

225-243

Publikationsforum

62555

Publikationsforumsnivå

1

Öppen tillgång

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

Nej

Parallellsparad

Ja

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

DOI

10.1007/978-3-319-32582-8_16

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja