Adaptable Transition Systems.

Authors :: Bruni, Roberto
Corradini, Andrea
Gadducci, Fabio
Lluch Lafuente, Alberto
Vandin, Andrea
Source :: Recent Trends in Algebraic Development Techniques (9783642376344); 2013, p95-110, 16p
Publication Year :: 2013

Language :: English
ISBNs :: 9783642376344
Database :: Complementary Index
Journal :: Recent Trends in Algebraic Development Techniques (9783642376344)
Publication Type :: Book
Accession number :: 94103669
Full Text :: https://doi.org/10.1007/978-3-642-37635-1_6