Dino Midzic

	2008
1		Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski: External Memory Search for Verification of Multi-threaded C++ Programs. KI 22(2): 44-50 (2008)

Coauthor Index

1	Stefan Edelkamp	[1]
2	Shahid Jabbar	[1]
3	Daniel Rikowski	[1]
4	Damian Sulewski	[1]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page