𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of gap-order constraint abstractions of counter systems

✍ Scribed by Bozzelli, Laura; Pinchinat, Sophie


Book ID
122219552
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
838 KB
Volume
523
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES