• Definition and design of strongly language disjoint checkers 

      Jansch, Ingrid Eleonora Schreiber; Courtois, Bernard (1988) [Artigo de periódico]
      This paper defines strongly language disjoint (SLD) checkers. SLD checkers are to sequential systems what strongly code disjoint checkers are to combinational systems. SLD checkers are the largest class of checkers with ...