Advertisement

Boolean and 2-adic numbers based techniques for verifying synchronous designs

  • Gerard Berry
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1254)

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Gerard Berry
    • 1
  1. 1.Centre de Mathematiques Appliquees (CMA)Ecole des Mines de ParisSophia-AntipolisFrance

Personalised recommendations