Tony Andrews (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487

2 Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15

Selection of 2 from 3 records - Tony Andrews has 10 coauthors

3		Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie: Zing: A Model Checker for Concurrent Software. CAV 2004: 484-487
2		Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie: Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR 2004: 1-15