Telis Menas

According to our database, Telis Menas authored at least 4 papers between 1976 and 1992.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1992

Expressibility of Output Equals Input.

Leo Marcus, Telis Menas

Acta Informatica, 1992

Using the State Delta Verification System (SDVS) for Hardware Verification.

Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas

Proceedings of the Theorem Provers in Circuit Design, 1992

1989

Safety via State Transition Language Plus Invariants.

Leo Marcus, Telis Menas

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1976

A Combinatorial Property of p _kappa lambda.

Telis Menas

J. Symb. Log., 1976