@Inproceedings{DBLP:conf/wadt/BruniCGLV12,
   joint-pub = {true},
   status = {public},
   task = {n/a},
   publisher = {Springer},
   doi = {http://dx.doi.org/10.1007/978-3-642-37635-1_6},
   booktitle = {Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012},
   series = {Lecture Notes in Computer Science},
   year = {2013},
   isbn = {978-3-642-37634-4, 978-3-642-37635-1},
   invited = {n/a},
   timestamp = {2013.11.07},
   volume = {7841},
   main = {n/a},
   accessible = {true},
   title = {{Adaptable Transition Systems}},
   editor = {Narciso Mart\'{\i}-Oliet and Miguel Palomino},
   author = {Roberto Bruni and Andrea Corradini and Fabio Gadducci and Alberto Lluch-Lafuente and Andrea Vandin},
   ee = {http://dx.doi.org/10.1007/978-3-642-37635-1},
   period = {n/a},
   owner = {kroiss},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   ascens_ref = {true},
   partner = {UNIPI,IMT},
   wp = {WP1,WP2},
   pages = {95-110}
}