Published Robotique Design of Logic Controllers Thanks to Symbolic Computation of Simultaneously Asserted Boolean Equations Published on 28 May 2014 - Mathematical Problems in Engineering Authors: Jean-Marc Roussel, Jean-Jacques Lesage See the publication on HAL DOI Prev. Back to the list Next