ETAPS 2014: 5-13 April 2014, Grenoble, France

ETAPS 2014 workshops preproceedings

CASSTING
 
CMCS
 
DICE
 
FESCA - zip file, 5.3M - download
FIDE - zip file, 2.3M - download
FPS
 
GALOP
 
GRaMSec - pdf file, 3.8M - download
GRAPHITE - zip file, 1.9M - download
GT-VMT
 
HAS
 
HOTSPOT - zip file, 4.7M - download
MBT
 
MEALS
 
MSFP - zip file, 1.9M - download
PLACES - pdf file, 2.9M - download
QAPL - zip file, 4.1M - download
REPP
 
SR - zip file, 2.1M - download
SYNCOP
 
VSSE
 
WRLA - pdf file, 6.7M - download