Cited in
(34)- Software visualization. International seminar Dagstuhl Castle, Germany, May 20--25, 2001. Revised papers
- Implementation of State Elimination Using Heuristics
- A theoretical framework for cardinality-based feature models: the semantics and computational aspects
- Kleene Closure on Regular and Prefix-Free Languages
- scientific article; zbMATH DE number 2079614 (Why is no real title available?)
- Grail
- LANGAGE
- GeoWin
- jSpin
- FAdo
- MeCoSim
- FAUST
- MUSE
- FAT
- fmp2rsm
- ALADDIN
- ANIMAL
- CAITLIN
- EVEGA
- JAWAA
- JCAT
- JOTSA
- KIEL
- PARADE
- Pavane
- POLKA
- CuSNP
- Clafer
- Tool support for learning Büchi automata and linear temporal logic
- scientific article; zbMATH DE number 5970650 (Why is no real title available?)
- Solving Constraint-Satisfaction Problems with Distributed Neocortical-Like Neuronal Networks
- scientific article; zbMATH DE number 5532305 (Why is no real title available?)
- Symbolic control design of nonlinear systems with outputs
- State-Dependent Computation Using Coupled Recurrent Networks
This page was built for software: JFLAP
