Pages that link to "Item:Q5385339"

The following pages link to An automata-theoretic approach to branching-time model checking (Q5385339):

Displaying 2 items.

• Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
• Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)