Tony Andrews

Publication Activity (10 Years)

Years Active: 2001-2004
Publications (10 Years): 0

Publications

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
Zing: A Model Checker for Concurrent Software. CAV (2004)
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie
Zing: Exploiting Program Structure for Model Checking Concurrent Software. CONCUR (2004)
Bimal Metha, Marc Levy, Greg Meredith, Tony Andrews, Brian Beckman, Johannes Klein, Amit Mital
BizTalk Server 2000 Business Process Orchestration. IEEE Data Eng. Bull. 24 (1) (2001)