MTBDD

MaRDI QIDQ24797swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-28756-5_7

Cited in

(15)

• A theoretical framework for cardinality-based feature models: the semantics and computational aspects
• Compositional entailment checking for a fragment of separation logic
• Nested antichains for WS1S
• MONA
• VATA
• LETHAL
• Rex
• VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
• Antichains
• fmp2rsm
• FAT
• Slide
• Mosel
• Clafer
• Symbolic tree automata

This page was built for software: MTBDD