𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Directed explicit-state model checking in the validation of communication protocols

✍ Scribed by Stefan Edelkamp; Stefan Leue; Alberto Lluch-Lafuente


Publisher
Springer
Year
2004
Tongue
English
Weight
976 KB
Volume
5
Category
Article
ISSN
1433-2779

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES