Dionel A. Suazo

List of publications from the DBLP Bibliography Server - FAQ

2003

1 EE Alvaro E. Campos, Dionel A. Suazo: Data-race and concurrent-write freedom are undecidable. Computer Languages, Systems & Structures 29(1-2): 1-13 (2003)

2003
1	EE	Alvaro E. Campos, Dionel A. Suazo: Data-race and concurrent-write freedom are undecidable. Computer Languages, Systems & Structures 29(1-2): 1-13 (2003)

Coauthor Index