Parametrised Compositional Verification with Multiple Process and Data Types

Year of publication

2013

Authors

Siirtola, Antti; Heljanko, Keijo

Organizations and authors

Aalto University

Heljanko Keijo

Publication type

Publication format

Article

Parent publication type

Conference

Article type

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

A4 Article in conference proceedings

Publication channel information

Parent publication name

13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10, 2013

Publisher

IEEE

Pages

67-76

ISBN

978-0-7695-5035-0

Publication forum

51455

Publication forum level

Open access

Open access in the publisher’s service

Self-archived

Other information

Fields of science

Statistics and probability; Computer and information sciences; Electronic, automation and communications engineering, electronics; Psychology; Media and communications; Sociology

Internationality of the publisher

International

Language

English

International co-publication

Co-publication with a company

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

Yes