| |
| 1996 | ||
|---|---|---|
| 2 | Samuel Huang, David Lee, Mark G. Staskauskas: Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. FORTE 1996: 403-418 | |
| 1972 | ||
| 1 | Samuel Huang, Dov Tamari: Problems of Associativity: A Simple Proof for the Lattice Property of Systems Ordered by a Semi-associative Law. J. Comb. Theory, Ser. A 13(1): 7-13 (1972) | |
| 1 | David Lee | [2] |
| 2 | Mark G. Staskauskas | [2] |
| 3 | Dov Tamari | [1] |