undefined

< Back to search results

An optimal cut-off algorithm for parameterised refinement checking

Year of publication

2020

Authors

Siirtola, Antti; Heljanko, Keijo

Organizations and authors

University of Oulu

Siirtola Antti Tapani

University of Helsinki

Heljanko Keijo

Publication type

Publication format

Article

Parent publication type

Journal

Article type

Original article

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A1 Journal article (refereed), original research

Publication channel information

Journal

Science of computer programming

Parent publication name

Science of Computer Programming

Article number

102517

ISSN

0167-6423

​Publication forum

66883

​Publication forum level

2

Open access

Open access in the publisher’s service

No

Self-archived

Yes

Other information

Fields of science

Computer and information sciences

Keywords

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

Publication country

Netherlands

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

No

DOI

10.1016/j.scico.2020.102517

The publication is included in the Ministry of Education and Culture’s Publication data collection

Yes