Infoscience

Rapport

On computing the fixpoint of a set of boolean equations

    Note:

    MSR-TR-2003-08 (Microsoft Research)

    Référence

    • LARA-REPORT-2003-001

    Notice créée le 2007-08-21, modifiée le 2017-05-12

Documents pertinents