R. Bloem

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.

Specify, Compile, Run: Hardware from PSL

R. Bloem and others (2007) · Elsevier BV

Efficient Büchi Automata from LTL Formulae

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