Anmeldung
Gruppen
Forscher/innen
Ergebnisse
Formal testing from timed finite state machines
Merayo, M.G.
Núñez, M.
Rodríguez, I.
Zeitschrift
:
Computer Networks
ISSN
:
1389-1286
Datum der Publikation
:
2008
Ausgabe
:
52
Nummer
:
2
Seiten
:
432-460
Art
:
Artikel
Exportieren
Exportieren
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exportieren
×
Das Dokument kann nicht exportiert werden, da es zu einem anderen Portal gehört.
DOI:
10.1016/J.COMNET.2007.10.002
GOOGLE SCHOLAR
Datenquelle: Scopus
Kontakt
Rechtlicher Hinweis
Hilfe
translate
de
arrow_drop_down
translate
de
arrow_drop_down
es
ca
eu
gl
en
fr