- Record: found
- Abstract: not found
- Book Chapter: not found
B’98: Recent Advances in the Development and Use of the B Method
Introducing dynamic constraints in B
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references8
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Decentralization of process nets with centralized control
R. J. R. Back, R. Kurki-Suonio (1983)