@Techreport{DeNicola2014_TR_DimRel,
   status = {n/a},
   task = {T1.3},
   year = {2014},
   invited = {n/a},
   timestamp = {2015.03.09},
   main = {n/a},
   title = {{Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction}},
   author = {Rocco {De Nicola} and Giulio Iacobelli and Mirco Tribastone},
   period = {year4},
   institution = {IMT},
   owner = {Christian},
   partner = {IMT},
   wp = {WP1}
}