Identifikatu
Taldeak
Ikertzaileak
Emaitzak
Model checking strategy-controlled systems in rewriting logic
Rubio, R.
Martí-Oliet, N.
Pita, I.
Verdejo, A.
Aldizkaria
:
Automated Software Engineering
ISSN
:
1573-7535
,
0928-8910
Argitalpen urtea
:
2022
Alea
:
29
Zenbakia
:
1
Mota
:
Artikulua
Esportatu
Esportatu
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Esportatu
×
Dokumentua ezin da beste atari batetik esportatu.
DOI:
10.1007/S10515-021-00307-9
GOOGLE SCHOLAR
Datuen iturria: Scopus
Kontaktua
Lege-oharra
Laguntza
translate
eu
arrow_drop_down
translate
eu
arrow_drop_down
es
ca
gl
en
fr
de