Pages that link to "Item:Q2216124"

The following pages link to PPLite: zero-overhead encoding of NNC polyhedra (Q2216124):

Displaying 2 items.

• \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
• Efficient convex zone merging in parametric timed automata (Q2112120) (← links)