Dean Rosenzweig

发表

Yuri Gurevich, Dean Rosenzweig, 2000, Abstract State Machines.
Egon Börger, Dean Rosenzweig, E. Börger, 1995, Sci. Comput. Program..
Egon Börger, Dean Rosenzweig, 1995, Logic Programming: Formal Methods and Practical Applications.
Dean Rosenzweig, Paola Glavan, D. Rosenzweig, 2003, IFIP Congress.
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, 2007, Log. Methods Comput. Sci..
Egon Börger, Dean Rosenzweig, 1993, ICLP.
Egon Börger, Dean Rosenzweig, 1993, Kurt Gödel Colloquium.
Dean Rosenzweig, Davor Runje, Neva Slani, 2003, Abstract State Machines.
Dean Rosenzweig, Egon Börger, 1991 .
Dean Rosenzweig, D. Rosenzweig, 1994, IFIP Congress.
Egon Börger, Yuri Gurevich, Dean Rosenzweig, 1993, Specification and validation methods.
Egon Börger, Igor Durdanovic, Dean Rosenzweig, 1994, PROCOMET.
Dean Rosenzweig, Davor Runje, Neva Slani, 2003 .
Wolfram Schulte, Dean Rosenzweig, Davor Runje, 2005, TGC.
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, 2007, Log. Methods Comput. Sci..
Andreas Blass, Yuri Gurevich, Dean Rosenzweig, 2005 .
Egon Börger, Dean Rosenzweig, 1991, RCLP.
Egon Börger, Dean Rosenzweig, Paola Glavan, 1994, IFIP Congress.
Dean Rosenzweig, Paola Glavan, D. Rosenzweig, 1992, CSL.
Dean Rosenzweig, Davor Runje, 2004, Abstract State Machines.
Dean Rosenzweig, Davor Runje, 2005 .