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

Fady Copty

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

2003
3EEFady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient debugging in a formal verification environment. STTT 4(3): 335-348 (2003)
2001
2EEFady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi: Benefits of Bounded Model Checking at an Industrial Setting. CAV 2001: 436-453
1EEFady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi: Efficient Debugging in a Formal Verification Environment. CHARME 2001: 275-292

Coauthor Index

1Limor Fix [2]
2Ranan Fraer [2]
3Enrico Giunchiglia [2]
4Amitai Irron [1] [3]
5Gila Kamhi [1] [2] [3]
6Nathan P. Kropp [1] [3]
7Armando Tacchella [2]
8Moshe Y. Vardi [2]
9Osnat Weissberg [1] [3]

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