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

Temesghen Kahsai

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

2008
3EETemesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305
2EETemesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158
2007
1EETemesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246

Coauthor Index

1Marino Miculan [3]
2Markus Roggenbach [1] [2]
3Bernd-Holger Schlingloff [1] [2]

Colors in the list of coauthors

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