Pages that link to "Item:Q2018056"
From MaRDI portal
The following pages link to Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056):
Displayed 4 items.
- History-preserving bisimilarity for higher-dimensional automata via open maps (Q265804) (← links)
- Active learning for extended finite state machines (Q736459) (← links)
- Generating models of infinite-state communication protocols using regular inference with abstraction (Q2018056) (← links)
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees (Q3303894) (← links)