Adaptable Transition Systems

Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. Adaptable Transition Systems. In Narciso Martí-Oliet, Miguel Palomino, editors, Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers. Volume 7841 of Lecture Notes in Computer Science, pages 95-110, Springer, 2012. [doi]

Authors

Roberto Bruni

This author has not been identified. Look up 'Roberto Bruni' in Google

Andrea Corradini

This author has not been identified. Look up 'Andrea Corradini' in Google

Fabio Gadducci

This author has not been identified. Look up 'Fabio Gadducci' in Google

Alberto Lluch-Lafuente

This author has not been identified. Look up 'Alberto Lluch-Lafuente' in Google

Andrea Vandin

This author has not been identified. Look up 'Andrea Vandin' in Google