Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Duc-Duy Vo

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2006
[c4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sede/VoP06
- ask others
Duc-Duy Vo, Claude Petitpierre: Model Checking for Synchronous Java. SEDE 2006: 141-147
2005
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/seke/VoP05
- ask others
Duc-Duy Vo, Claude Petitpierre: A Deadlock Detector for Synchronous Java. SEKE 2005: 537-542
2003
[c2]
- view
  - electronic edition @ e-ifi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rivf/Vo03
- ask others
Duc-Duy Vo: Analysis of program based on Synchronous Active Objects. RIVF 2003: 83-92
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/serp/VoP03
- ask others
Duc-Duy Vo, Claude Petitpierre: A New Multi-Tasking Concept Supported by SMV. Software Engineering Research and Practice 2003: 228-233

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?