Artikel in einem Konferenzbericht,

Coefficient Synthesis for Threshold Automata

.
Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, Volume 13608 von Lecture Notes in Computer Science, Seite 125--139. Springer, (2022)
DOI: 10.1007/978-3-031-19135-0\_9

Metadaten

Tags

Nutzer

  • @paves
  • @dblp

Kommentare und Rezensionen