Development of Rabin Choice Coordination in Event-B

Metadata only

Author

Date

2010

Type

Other Conference Item

ETH Bibliography

yes

Altmetrics

Publication status

published

Publisher

10th International Workshop on Automated Verification of Critical Systems (AVOCS 2010)

Event

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

Organisational unit

03634 - Basin, David / Basin, David

Notes

Conference lecture on 22 September 2010.

More

ETH Bibliography

yes

Altmetrics

Research Collection