Michel Allemand, Felix Nicoli, Laurence Pierre. Formal Verification of Hardware using LP and Comparison with Nqthm. In M. H. Hamza, editor, The 12st IASTED International Conference on Applied Informatics, May 18-20, 1994, Annecy, France. pages 150-153, IASTED/ACTA Press, 1994.
Abstract is missing.