Inproceedings,

Parameterized Complexity of Safety of Threshold Automata.

.
FSTTCS, volume 182 of LIPIcs, page 37:1-37:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

Meta data

Tags

Users

  • @paves
  • @dblp

Comments and Reviews