PTrie

swMATH35790MaRDI QIDQ51492FDOQ51492

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-319-67729-3_15

Described by source

• PTrie: data structure for compressing and storing sets via prefix sharing

Cited In (7)

• Automatic synthesis of transiently correct network updates via Petri games
• Stubborn versus structural reductions for Petri nets
• Stubborn set reduction for two-player reachability games
• TAPAAL
• LoLA
• AdamMC
• zUpdate

This page was built for software: PTrie