swMATH12873MaRDI QIDQ24797FDOQ24797
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-28756-5_7
Cited In (15)
- Nested antichains for WS1S
- A theoretical framework for cardinality-based feature models: the semantics and computational aspects
- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
- MONA
- LETHAL
- VATA
- Rex
- Mosel
- Antichains
- FAT
- fmp2rsm
- Slide
- Clafer
- Symbolic tree automata
- Compositional entailment checking for a fragment of separation logic
This page was built for software: MTBDD
