@paves

Parameterized Complexity of Safety of Threshold Automata

. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Volume 182 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 37:1--37:15. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)#conference.
DOI: 10.4230/LIPIcs.FSTTCS.2020.37

Links und Ressourcen

Tags

Community

  • @paves
  • @dblp
@pavess Tags hervorgehoben