Telis Menas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1992

4 Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas: Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD 1992: 337-360

3 Leo Marcus, Telis Menas: Expressibility of Output Equals Input. Acta Inf. 29(6/7): 645-662 (1992)

1989

2 Leo Marcus, Telis Menas: Safety via State Transition Language Plus Invariants. CSFW 1989: 71-77

1976

1 Telis Menas: A Combinatorial Property of p _kappa lambda. J. Symb. Log. 41(1): 225-234 (1976)

	1992
4		Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas: Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD 1992: 337-360
3		Leo Marcus, Telis Menas: Expressibility of Output Equals Input. Acta Inf. 29(6/7): 645-662 (1992)
	1989
2		Leo Marcus, Telis Menas: Safety via State Transition Language Plus Invariants. CSFW 1989: 71-77
	1976
1		Telis Menas: A Combinatorial Property of p _kappa lambda. J. Symb. Log. 41(1): 225-234 (1976)

Coauthor Index

1 Ivan Filippenko [4]

2 Beth Levy [4]

3 Leo Marcus [2] [3] [4]