Moataz Kamel

List of publications from the DBLP Bibliography Server - FAQ

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

2000

3 EE Moataz Kamel, Stefan Leue: VIP: A Visual Editor and Compiler for v-Promela. TACAS 2000: 471-486

2 EE Moataz Kamel, Stefan Leue: Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. STTT 2(4): 394-409 (2000)

1999

1 EE Moataz Kamel, Stefan Leue: VIP: A Visual Interface for Promela. SPIN 1999: 153

2000
3	EE	Moataz Kamel, Stefan Leue: VIP: A Visual Editor and Compiler for v-Promela. TACAS 2000: 471-486
2	EE	Moataz Kamel, Stefan Leue: Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. STTT 2(4): 394-409 (2000)
1999
1	EE	Moataz Kamel, Stefan Leue: VIP: A Visual Interface for Promela. SPIN 1999: 153

Coauthor Index

1 Stefan Leue [1] [2] [3]