Monica Marcus (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001)

2 Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435

1 Monica Marcus, Amir Pnueli: Using Ghost Variables to Prove Refinement. AMAST 1996: 226-240

Selection of 3 from 4 records - Monica Marcus has 8 coauthors

3		Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic model checking with rich assertional languages. Theor. Comput. Sci. 256(1-2): 93-112 (2001)
2		Yonit Kesten, Oded Maler, Monica Marcus, Amir Pnueli, Elad Shahar: Symbolic Model Checking with Rich ssertional Languages. CAV 1997: 424-435
1		Monica Marcus, Amir Pnueli: Using Ghost Variables to Prove Refinement. AMAST 1996: 226-240