@paves

Adaptive Synchronisation of Pushdown Automata

, и . 32nd International Conference on Concurrency Theory (CONCUR 2021), том 203 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
DOI: 10.4230/LIPIcs.CONCUR.2021.17

Линки и ресурсы

тэги

сообщество

  • @paves
  • @dblp
@paves- тэги данного пользователя выделены