|
Search the dblp DataBase
Telis Menas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Leo Marcus, Telis Menas
Safety via State Transition Language Plus Invariants. [Citation Graph (0, 0)][DBLP] CSFW, 1989, pp:71-77 [Conf]
- Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas
Using the State Delta Verification System (SDVS) for Hardware Verification. [Citation Graph (0, 0)][DBLP] TPCD, 1992, pp:337-360 [Conf]
- Leo Marcus, Telis Menas
Expressibility of Output Equals Input. [Citation Graph (0, 0)][DBLP] Acta Inf., 1992, v:29, n:6/7, pp:645-662 [Journal]
- Telis Menas
A Combinatorial Property of p kappa lambda. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1976, v:41, n:1, pp:225-234 [Journal]
Search in 0.001secs, Finished in 0.001secs
|