by Estévez, Elsa Clara and Janowski, Tomasz
Reference:
Bisimulation abstraction for selecting software components in RAISE (Estévez, Elsa Clara and Janowski, Tomasz), In I Workshop de Investigadores en Ciencias de la Computación, 1999.
Bibtex Entry:
@InProceedings{Estevez1999a,
author = {Est{'e}vez, Elsa Clara and Janowski, Tomasz},
booktitle = {I Workshop de Investigadores en Ciencias de la Computaci{'o}n},
title = {Bisimulation abstraction for selecting software components in RAISE},
year = {1999},
}
