Chapter
Mandatory and Potential Choice: Comparing Event-B and STAIRS
Authors
Refsdal A; Runde R; Stølen K
Book title
From Action Systems to Distributed Systems
Pagination
pp. 15-27
Publisher
Taylor & Francis
Publication Date
May 12, 2016
DOI
10.1201/b20053-4