𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Flash memory efficient LTL model checking

✍ Scribed by S. Edelkamp; D. Sulewski; J. Barnat; L. Brim; P. Šimeček


Publisher
Elsevier Science
Year
2011
Tongue
English
Weight
459 KB
Volume
76
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Model checking transactional memories
✍ Rachid Guerraoui; Thomas A. Henzinger; Vasu Singh 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 410 KB