𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The specification, design and verification of real-time embedded control logic using CSP and TCSP : P.J. Clarke and D.J. Holding, pp167–172


Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
126 KB
Volume
1
Category
Article
ISSN
0967-0661

No coin nor oath required. For personal study only.