Development of Rabin’s Choice Coordination Algorithm in Event-B

Download

Open access

Author

Date

2010

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Download

Rights / license

Permanent link

https://doi.org/10.3929/ethz-a-006819465

Publication status

published

Book title

Proceedings of the 10th INternational Workshop on Automated Verification of Critical Systems (AVoCS 2010)

Journal / series

Electronic Communications of the EASST

Volume

35 (2010)

Publisher

Eidgenössische Technische Hochschule Zürich, Department of Computer Science

Event

10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010), Düsseldorf, Germany, September 20-23, 2010

Organisational unit

02150 - Dep. Informatik / Dep. of Computer Science
03634 - Basin, David / Basin, David

More

ETH Bibliography

yes

Altmetrics

Research Collection