𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A design approach to self-checking processors

✍ Scribed by Takashi Nanya; Toshiaki Kawamura


Book ID
112205578
Publisher
John Wiley and Sons
Year
1986
Tongue
English
Weight
926 KB
Volume
17
Category
Article
ISSN
0882-1666

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Partial Approach to Model Checking
✍ P. Godefroid; P. Wolper πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 1003 KB