Nazha Abed

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Nazha Abed, Stavros Tripakis, Jean-Marc Vincent: Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN 2008: 214-231

	2008
1		Nazha Abed, Stavros Tripakis, Jean-Marc Vincent: Resource-Aware Verification Using Randomized Exploration of Large State Spaces. SPIN 2008: 214-231

Coauthor Index