undefined

< Tillbaka till sökresultaten

Dynamic cut-off algorithm for parameterised refinement checking

Publiceringsår

2018

Upphovspersoner

Siirtola, Antti; Heljanko, Keijo

Organisationer och upphovspersoner

Helsingfors universitet

Heljanko Keijo

Uleåborgs universitet

Siirtola Antti Tapani Orcid -palvelun logo

Aalto-universitetet

Heljanko Keijo

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

Journal

Lecture notes in computer science

Moderpublikationens namn

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

Moderpublikationens redaktörer

Bae, Kyungmin; Ölveczky, Peter Csaba

Konferens

Formal Aspects of Component Software

Förläggare

Springer

Volym

11222

Sidor

256-276

ISSN

0302-9743

ISBN

978-3-030-02145-0

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

Nyckelord

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

Publiceringsland

Schweiz

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

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

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja