Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation Conference Paper uri icon

publication date

  • January 1, 2004

published in

  •   Geographic Location