The I2C-bus in discrete-time process algebra
- 1 July 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 29 (1-2) , 235-258
- https://doi.org/10.1016/s0167-6423(96)00036-6
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Discrete time process algebraFormal Aspects of Computing, 1996