OrDB

Paper (s) having Dafny N, Prieto-Gomez B, Dong WQ, Reyes-Vazquez C (1996) as References


 
Name
1 Stadler K, Bierwirth C, Stoenica L, Battefeld A, Reetz O, Mix E, Schuchmann S, Velmans T, Rosenberger K, Bräuer AU, Lehnardt S, Nitsch R, Budt M, Wolff T, Kole MH, Strauss U (2014)