Pages that link to "Item:Q5458337"

The following pages link to GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic (Q5458337):

Displaying 2 items.

• Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
• A theoretical framework for cardinality-based feature models: the semantics and computational aspects (Q1647962) (← links)