๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Symbolic model checking for self-stabilizing algorithms

โœ Scribed by T. Tsuchiya; S. Nagano; R. Paidi; T. Kikuno


Book ID
126647014
Publisher
IEEE
Year
2001
Tongue
English
Weight
558 KB
Volume
12
Category
Article
ISSN
1045-9219

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


CSL model checking algorithms for QBDs
โœ Anne Remke; Boudewijn R. Haverkort; Lucia Cloth ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 814 KB