N. Piterman

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

Synthesis of Reactive(1) Designs

N. Piterman and others (2006) · Springer Berlin Heidelberg