| |
| 1992 | ||
|---|---|---|
| 4 | Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas: Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD 1992: 337-360 | |
| 3 | Leo Marcus, Telis Menas: Expressibility of Output Equals Input. Acta Inf. 29(6/7): 645-662 (1992) | |
| 1989 | ||
| 2 | Leo Marcus, Telis Menas: Safety via State Transition Language Plus Invariants. CSFW 1989: 71-77 | |
| 1976 | ||
| 1 | Telis Menas: A Combinatorial Property of p kappa lambda. J. Symb. Log. 41(1): 225-234 (1976) | |
| 1 | Ivan Filippenko | [4] |
| 2 | Beth Levy | [4] |
| 3 | Leo Marcus | [2] [3] [4] |