Identifica't
Grups
Investigadors/es
Resultats
Formal testing from timed finite state machines
Merayo, M.G.
Núñez, M.
Rodríguez, I.
Revista
:
Computer Networks
ISSN
:
1389-1286
Any de publicació
:
2008
Volum
:
52
Número
:
2
Pàgines
:
432-460
Tipus
:
Article
Exporta
Exporta
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exporta
×
El document no es pot exportar perquè pertany a un altre portal.
DOI:
10.1016/J.COMNET.2007.10.002
GOOGLE SCHOLAR
Font de les dades: Scopus
Contacta
Avís legal
Ajuda
translate
ca
arrow_drop_down
translate
ca
arrow_drop_down
es
eu
gl
en
fr
de