Search

Your search keyword '"Ramsay, S. J."' showing total 2 results
Start Over Author "Ramsay, S. J." Publisher springer international publishing
2 results on '"Ramsay, S. J."'

1. DEQ: Equivalence Checker for Deterministic Register Automata

Author

Murawski, A. S., Ramsay, S. J., Tzevelekos, N., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Chen, Yu-Fang, editor, Cheng, Chih-Hong, editor, and Esparza, Javier, editor

Published
2019
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results