Benjamin Aminof (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Benjamin Aminof, Orna Kupferman, Omer Lev: On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. LPAR 2008: 183-197

Selection of 1 from 6 records - Benjamin Aminof has 8 coauthors