𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Symbolic model checking of timed guarded commands using difference decision diagrams

✍ Scribed by Jesper Møller; Henrik Hulgaard; Henrik Reif Andersen


Book ID
114414922
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
228 KB
Volume
52-53
Category
Article
ISSN
1567-8326

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES