Formal Methods in System Design, Volume 33

Volume 33, Numbers 1-3, December 2008

• Roman Gershman, Maya Koifman, Ofer Strichman:
  An approach for extracting a small unsatisfiable core. 1-27
  
• Tianlong Gu, Huadong Liu:
  The symbolic OBDD scheme for generating mechanical assembly sequences. 29-44
  
• Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin:
  Robust safety of timed automata. 45-84
  
• Jochen Eisinger, Felix Klaedtke:
  Don't care words with an application to the automata-based approach for real addition. 85-115