External and internal choice with event groups in Event-B
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2012.
|
| Subjects: | |
| Online Access: | Get fulltext |
| LEADER | 00305 am a22001093u 4500 | ||
|---|---|---|---|
| 001 | 341169 | ||
| 042 | |a dc | ||
| 100 | 1 | 0 | |a Butler, Michael |e author |
| 245 | 0 | 0 | |a External and internal choice with event groups in Event-B |
| 260 | |c 2012. | ||
| 856 | |z Get fulltext |u https://eprints.soton.ac.uk/341169/1/twochoice.pdf | ||
| 655 | 7 | |a Article | |