Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Towards Component Verification in the Generic Component Framework

Autor
Padberg, J.; Ehrig, H.; Orejas, F.
Tipus d'activitat
Article en revista
Revista
Electronic notes in theoretical computer science
Data de publicació
2009-04
Volum
203
Número
7
Pàgina inicial
37
Pàgina final
53
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants