# Telis Menas

According to our database

Collaborative distances:

^{1}, Telis Menas authored at least 4 papers between 1976 and 1992.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1992

Expressibility of Output Equals Input.

Acta Inf., 1992

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

Proceedings of the Theorem Provers in Circuit Design, 1992

1989

Safety via State Transition Language Plus Invariants.

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1976

A Combinatorial Property of p

_{kappa}lambda.
J. Symb. Log., 1976