An optimal cut-off algorithm for parameterised refinement checking

Publiceringsår

2020

Upphovspersoner

Siirtola, Antti; Heljanko, Keijo

Organisationer och upphovspersoner

Uleåborgs universitet

Siirtola Antti Tapani

Helsingfors universitet

Heljanko Keijo

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

Science of computer programming

Moderpublikationens namn

Science of Computer Programming

Artikelnummer

102517

ISSN

0167-6423

Publikationsforum

66883

Publikationsforumsnivå

Öppen tillgång

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

Nej

Parallellsparad

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Publiceringsland

Nederländerna

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1016/j.scico.2020.102517