Henny B. Sipma

发表

César Sánchez, Henny B. Sipma, Christopher D. Gill, 2006, OPODIS.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, SAS.
Henny B. Sipma, Zohar Manna, 1998, HSCC.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, ARTS.
Henny B. Sipma, Zohar Manna, Anca Browne, 1995, FSTTCS.
Henny B. Sipma, Zohar Manna, 1994, FTRTFT.
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1996, CAV.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, ICALP.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1999, AMAST.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2003, Verification: Theory and Practice.
César Sánchez, Henny B. Sipma, Zohar Manna, 2005, CALCO.
Bernd Finkbeiner, Henny B. Sipma, 2001, Electron. Notes Theor. Comput. Sci..
Henny B. Sipma, Zohar Manna, 1995, Proceedings of Tenth International Symposium on Intelligent Control.
Bernd Finkbeiner, César Sánchez, Henny B. Sipma, 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1997, Theor. Comput. Sci..
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2008, Formal Methods Syst. Des..
Bernd Finkbeiner, Henny B. Sipma, Howard Barringer, 2006, Electron. Notes Theor. Comput. Sci..
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2006, HSCC.
César Sánchez, Henny B. Sipma, Zohar Manna, 2008, Pillars of Computer Science.
Henny B. Sipma, Michael Colón, Michael Colón, 2002, CAV.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Methods Syst. Des..
César Sánchez, Henny B. Sipma, Zohar Manna, 2003, EMSOFT.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, CONCUR.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1997, Requirements Targeting Software and Systems Engineering.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2006, Inf. Comput..
César Sánchez, Henny B. Sipma, Christopher D. Gill, 2006, EMSOFT '06.
César Sánchez, Henny B. Sipma, Zohar Manna, 2007, FASE.
Henny B. Sipma, Zohar Manna, Nikolaj Bjørner, 1995 .
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2005, VMCAI.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1998, Tool Support for System Specification, Development and Verification.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2004, IJCAR.
Bernd Finkbeiner, Henny B. Sipma, Sriram Sankaranarayanan, 2002, Electron. Notes Theor. Comput. Sci..
Edward Y. Chang, Henny B. Sipma, Zohar Manna, 1995, TAPSOFT.
Bernd Finkbeiner, Henny B. Sipma, 2004, Formal Methods Syst. Des..
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 2000, Formal Aspects of Computing.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2004, TPHOLs.
Bernd Finkbeiner, Henny B. Sipma, Zohar Manna, 1997, COMPOS.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, VMCAI.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1996, CAV.
Henny B. Sipma, Zohar Manna, Tomás E. Uribe, 1996, Formal Methods Syst. Des..
César Sánchez, Henny B. Sipma, Christopher D. Gill, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, Formal Methods Syst. Des..
Henny B. Sipma, Zohar Manna, Matteo Slanina, 2008, Formal Aspects of Computing.
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2006, VMCAI.
Henny B. Sipma, Ting Zhang, Anca Browne, 2000, SPIN.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2005, FSTTCS.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2006, VMCAI.
Alexandre M. Bayen, Henny B. Sipma, Claire J. Tomlin, 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).
César Sánchez, Henny B. Sipma, Zohar Manna, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.
Henny B. Sipma, Zohar Manna, Z. Manna, 2000, ICALP.
Henny B. Sipma, Zohar Manna, Matteo Slanina, 2006, ICTAC.
César Sánchez, Henny B. Sipma, Christopher D. Gill, 2005, FORTE.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2005, CADE.
César Sánchez, Henny B. Sipma, Christopher Gill, 2005 .
Henny B. Sipma, Zohar Manna, Sriram Sankaranarayanan, 2004, POPL.
Henny B. Sipma, Sriram Sankaranarayanan, Michael Colón, 2003, CAV.
Henny B. Sipma, Zohar Manna, Ting Zhang, 2007, LFCS.
Bernd Finkbeiner, Henny B. Sipma, Sriram Sankaranarayanan, 2005, Formal Methods Syst. Des..
Henny B. Sipma, Zohar Manna, Anca Browne, 1996, ASIAN.
César Sánchez, Henny B. Sipma, Zohar Manna, 2005, FORTE.
Henny B. Sipma, Michael Colón, Michael Colón, 2001, TACAS.
Henny B. Sipma, Zohar Manna, Luca de Alfaro, 1997, TACAS.
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005, CAV.
Henny B. Sipma, Zohar Manna, Matteo Slanina, 2006 .
Henny B. Sipma, Zohar Manna, Z. Manna, 1998 .
Henny B. Sipma, Zohar Manna, Aaron R. Bradley, 2005 .