Hartmut Koenig

List of publications from the DBLP Bibliography Server - FAQ

2008

1 EE Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu Kumar Kaliappan: Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. CSSE (2) 2008: 227-230

2008
1	EE	Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu Kumar Kaliappan: Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. CSSE (2) 2008: 227-230

Coauthor Index