Concurrent Scheduling of Event-B Models
Year of publication
2011
Authors
Boström, Pontus; Degerlund, Fredrik; Sere, Kajsa; Waldén, Marina
Organizations and authors
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
Electronic Proceedings in Theoretical Computer Science (EPTCS)
Parent publication editors
John Derrick; Eerke A. Boiten; Steve Reeves
Publisher
Volume
55
Issue
NNNN
Pages
166-182
ISSN
ISBN
Publication forum
Publication forum level
1
Open access
Open access in the publisher’s service
No information
Self-archived
Unknown
Other information
Fields of science
Computer and information sciences
Publication country
Ireland
Language
English
International co-publication
No
Co-publication with a company
Unknown
DOI
10.4204/EPTCS.55.11
The publication is included in the Ministry of Education and Culture’s Publication data collection
Yes