Telis Menas

Publication Activity (10 Years)

Years Active: 1976-1992
Publications (10 Years): 0

Publications

Leo Marcus, Telis Menas
Expressibility of Output Equals Input. Acta Informatica 29 (6/7) (1992)
Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas
Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD (1992)
Leo Marcus, Telis Menas
Safety via State Transition Language Plus Invariants. CSFW (1989)
Telis Menas
lambda. J. Symb. Log. 41 (1) (1976)