Tomer Kanza

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar
The ForSpec Temporal Logic: A New Temporal Property-Specification Language. TACAS (2002)