Identifikatu
Taldeak
Ikertzaileak
Emaitzak
Model checking strategy-controlled rewriting systems
Rubio, R.
Martí-Oliet, N.
Pita, I.
Verdejo, A.
Aktak
:
Leibniz International Proceedings in Informatics, LIPIcs
ISSN
:
1868-8969
ISBN
:
9783959771078
Argitalpen urtea
:
2019
Alea
:
131
Mota
:
Biltzar ekarpena
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.4230/LIPICS.FSCD.2019.34
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