Sign in
Groups
Researchers
Results
Model checking strategy-controlled systems in rewriting logic
Rubio, R.
Martí-Oliet, N.
Pita, I.
Verdejo, A.
Journal
:
Automated Software Engineering
ISSN
:
1573-7535
,
0928-8910
Year of publication
:
2022
Volume
:
29
Issue
:
1
Type
:
Article
Export
Export
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Export
×
This document cannot be exported because it belongs to another portal.
DOI:
10.1007/S10515-021-00307-9
GOOGLE SCHOLAR
Data source: Scopus
Contact
Legal notice
Help
translate
en
arrow_drop_down
translate
en
arrow_drop_down
es
ca
eu
gl
fr
de