undefined

< Takaisin hakutuloksiin

An optimal cut-off algorithm for parameterised refinement checking

Julkaisuvuosi

2020

Tekijät

Siirtola, Antti; Heljanko, Keijo

Organisaatiot ja tekijät

Oulun yliopisto

Siirtola Antti Tapani

Helsingin yliopisto

Heljanko Keijo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Lehti

Artikkelin tyyppi

Alkuperäisartikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A1 Alkuperäisartikkeli tieteellisessä aikakauslehdessä

Julkaisukanavan tiedot

Lehti

Science of computer programming

Emojulkaisun nimi

Science of Computer Programming

Artikkelinumero

102517

ISSN

0167-6423

Julkaisu­foorumi

66883

Julkaisufoorumitaso

2

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Kyllä

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Avainsanat

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

Julkaisumaa

Alankomaat

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Ei

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1016/j.scico.2020.102517

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä