Export
APA
Filipe, Luís Cruz, Lanese, Ivan, Martins, Francisco, Ravara, António, Vasconcelos, Vasco T., (2007). Bisimulations in SSCC
IEEE
Filipe, Luís Cruz, Lanese, Ivan, Martins, Francisco, Ravara, António, Vasconcelos, Vasco T., "Bisimulations in SSCC", 2007
BIBTEX
@misc{33304,
author = {Filipe, Luís Cruz and Lanese, Ivan and Martins, Francisco and Ravara, António and Vasconcelos, Vasco T.},
title = {Bisimulations in SSCC},
year = 2007
}