Q | |
---|---|
[QS19] | Karin Quaas and Mahsa Shirmohammadi. Synchronizing Data Words for Register Automata. ACM Transactions on Computational Logic 20(2):11:1-11:27. ACM Press, April 2019. |
Search
Displayed 1 resultList of authors
- 1
- 1
Q | |
---|---|
[QS19] | Karin Quaas and Mahsa Shirmohammadi. Synchronizing Data Words for Register Automata. ACM Transactions on Computational Logic 20(2):11:1-11:27. ACM Press, April 2019. |