F. Somenzi

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Efficient Büchi Automata from LTL Formulae

F. Somenzi and others (2000) · Springer Berlin Heidelberg

Logic Synthesis and Verification Algorithms

G.D. Hachtel and others (1996) · Springer-Verlag