Skander Kort

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003

2 EE Skander Kort: Schemata-Driven Multi-objective Optimization. EMO 2003: 192-206

1 EE Skander Kort, Sofiène Tahar, Paul Curzon: Hierarchical formal verification using a hybrid tool. STTT 4(3): 313-322 (2003)

2003
2	EE	Skander Kort: Schemata-Driven Multi-objective Optimization. EMO 2003: 192-206
1	EE	Skander Kort, Sofiène Tahar, Paul Curzon: Hierarchical formal verification using a hybrid tool. STTT 4(3): 313-322 (2003)

Coauthor Index

1 Paul Curzon [1]

2 Sofiène Tahar [1]