Data di Pubblicazione:
2008
Tipologia CRIS:
Relazione (in Volume)
Elenco autori:
de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Link alla scheda completa:
Titolo del libro:
ART 2008 Analysing Reduction systems using Transition systems