Refinement checking parameterised quorum systems
Year of publication
2017
Authors
Siirtola, Antti
Organizations and authors
University of Oulu
Siirtola Antti Tapani 
Publication type
Publication format
Article
Parent publication type
Conference
Article type
Other article
Audience
ScientificPeer-reviewed
Peer-ReviewedMINEDU's publication type classification code
A4 Article in conference proceedingsPublication channel information
Parent publication name
Conference
International Conference on Application of Concurrency to System Design (ACSD)
Publisher
IEEE computer society press
Pages
39-48
ISBN
Open access
Open access in the publisher’s service
No information
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]
Publication country
United States
Internationality of the publisher
International
Language
English
International co-publication
No
Co-publication with a company
No
DOI
10.1109/ACSD.2017.15
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes