![](/img/cover-not-exists.png)
A LTS Approach to Control in Event-B
Peng, Han, Du, Chenglie, Rao, Lei, Chen, FuVolume:
2018
Year:
2018
Language:
english
Journal:
Scientific Programming
DOI:
10.1155/2018/8765186
File:
PDF, 2.66 MB
english, 2018