Pages that link to "Item:Q2117163"

The following pages link to Automatic synthesis of transiently correct network updates via Petri games (Q2117163):

Displaying 1 item.

• Kaki: concurrent update synthesis for regular policies via Petri games (Q2165522) (← links)