undefined

< Takaisin hakutuloksiin

Dynamic cut-off algorithm for parameterised refinement checking

Julkaisuvuosi

2018

Tekijät

Siirtola, Antti; Heljanko, Keijo

Organisaatiot ja tekijät

Oulun yliopisto

Siirtola Antti Tapani Orcid -palvelun logo

Aalto-yliopisto

Heljanko Keijo Orcid -palvelun logo

Helsingin yliopisto

Heljanko Keijo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Lehti/Sarja

Lecture notes in computer science

Emojulkaisun nimi

Formal Aspects of Component Software :15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Konferenssi

Formal Aspects of Component Software

Kustantaja

Springer

Volyymi

11222

Sivut

256-276

ISSN

0302-9743

ISBN

978-3-030-02145-0

Julkaisu­foorumi

62555

Julkaisufoorumitaso

1

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]

Julkaisumaa

Sveitsi

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Ei

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/978-3-030-02146-7_13

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä