| |
| 1989 | ||
|---|---|---|
| 1 | Alexandre Bronstein, Carolyn L. Talcott: Formal Verification of Synchronous Circuits based on String-Functional Semantics: The 7 Paillet Circuits in Boyer-Moore. Automatic Verification Methods for Finite State Systems 1989: 317-333 | |
| 1 | Carolyn L. Talcott | [1] |