𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Test sequence generation and model checking using dynamic transition relations

✍ Scribed by Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady


Publisher
Springer
Year
2004
Tongue
English
Weight
250 KB
Volume
6
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES