Q
[QS19] Karin Quaas et Mahsa Shirmohammadi. Synchronizing Data Words for Register Automata. ACM Transactions on Computational Logic 20(2):11:1-11:27. ACM Press, avril 2019.
@article{tocl20(2)-QS,
  author =              {Quaas, Karin and Shirmohammadi, Mahsa},
  title =               {Synchronizing Data Words for Register Automata},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Computational Logic},
  volume =              {20},
  number =              {2},
  pages =               {11:1-11:27},
  year =                {2019},
  month =               apr,
  doi =                 {10.1145/3309760},
}
Liste des auteurs