PTrie

MaRDI QIDQ51492swMATHFDO

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