dblp.uni-trier.dewww.uni-trier.de

Tomer Kanza

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
1EERoy 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: 296-211

Coauthor Index

1Roy Armoni [1]
2Limor Fix [1]
3Alon Flaisher [1]
4Rob Gerth [1]
5Boris Ginsburg [1]
6Avner Landver [1]
7Sela Mador-Haim [1]
8Eli Singerman [1]
9Andreas Tiemeyer [1]
10Moshe Y. Vardi [1]
11Yael Zbar [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)