undefined

< Back to search results

Unfoldings - A Partial Order Approach to Model Checking

Year of publication

2008

Authors

Esparza, Javier; Heljanko, Keijo

Organizations and authors

Aalto University

Heljanko Keijo

Publication type

Publication format

Monograph

Audience

Scientific

Peer-reviewed

Peer-Reviewed

MINEDU's publication type classification code

C1 Scientific book

Publication channel information

Publisher

SPRINGER

ISBN

978-3-540-77425-9

​Publication forum

5952

​Publication forum level

2

Open access

Open access in the publisher’s service

No

Self-archived

No

Other information

Fields of science

Computer and information sciences

Keywords

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

Internationality of the publisher

International

Language

English

International co-publication

No

Co-publication with a company

No

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

Yes