Leo Marcus (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

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

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

Selection of 3 from 11 records - Leo Marcus has 7 coauthors

8		Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas: Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD 1992: 337-360
7		Leo Marcus, Telis Menas: Expressibility of Output Equals Input. Acta Inf. 29(6/7): 645-662 (1992)
6		Leo Marcus, Telis Menas: Safety via State Transition Language Plus Invariants. CSFW 1989: 71-77