Duc-Duy Vo

	2006
4		Duc-Duy Vo, Claude Petitpierre: Model Checking for Synchronous Java. SEDE 2006: 141-147
	2005
3		Duc-Duy Vo, Claude Petitpierre: A Deadlock Detector for Synchronous Java. SEKE 2005: 537-542
	2003
2		Duc-Duy Vo: Analysis of program based on Synchronous Active Objects. RIVF 2003: 83-92
1		Duc-Duy Vo, Claude Petitpierre: A New Multi-Tasking Concept Supported by SMV. Software Engineering Research and Practice 2003: 228-233

Coauthor Index

1

Claude Petitpierre

[1] [3] [4]