𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation

✍ Scribed by Ratan Nalumasu; Ganesh Gopalakrishnan

Book ID
110330681
Publisher
Springer
Year
2002
Tongue
English
Weight
154 KB
Volume
20
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Efficient Algorithm for Partial Order
An Efficient Algorithm for Partial Order Production
✍ Cardinal, Jean; Fiorini, Samuel; Joret, GwenaΓ«l; Jungers, RaphaΓ«l M.; Munro, J. πŸ“‚ Article πŸ“… 2010 πŸ› Society for Industrial and Applied Mathematics 🌐 English βš– 308 KB