𝔖 Bobbio Scriptorium
✦   LIBER   ✦

118 Computer-aided specification and verification of process control software: B. Krämer, W. Halang, pp 7–12


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

No coin nor oath required. For personal study only.