MPG.eBooks - Author Search Results

Cover Image

1

Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

by Hu, Alan J
Published 1998

Springer Berlin Heidelberg

Other Authors: “...Vardi, Moshe Y...”

Cover Image

2

Formal Techniques for Networked and Distributed Sytems — FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

by Peled, Doron A
Published 2002

IFIP International Federation for Information Processing

Other Authors: “...Vardi, Moshe Y...”

Cover Image

3

Database Theory - ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11 - 13, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Other Authors: “...Vardi, Moshe Y....”

Cover Image

4

Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Other Authors: “...Vardi, Moshe Y....”

Cover Image

5

Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Vardi, Moshe Y....”