Telis Menas

According to our database1, Telis Menas
  • authored at least 4 papers between 1976 and 1992.
  • has a "Dijkstra number"2 of five.

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


  Loading...