PENELOPE

swMATH23067MaRDI QIDQ34851FDOQ34851

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=1882300

Cited In (5)

• QuickLex: a fast algorithm for consistent global states enumeration of distributed computations
• ASM
• CTrigger
• jPredictor
• QuickLex

This page was built for software: PENELOPE