MetadatenAuthor details: | Marisa NavarroORCiD, Fernando OrejasORCiD, Elvira PinoORCiD, Leen LambersORCiDGND |
---|
DOI: | https://doi.org/10.1016/j.jlamp.2020.100616 |
---|
ISSN: | 2352-2208 |
---|
ISSN: | 2352-2216 |
---|
Title of parent work (English): | Journal of logical and algebraic methods in programming |
---|
Publisher: | Elsevier Science |
---|
Place of publishing: | Amsterdam [u.a.] |
---|
Publication type: | Article |
---|
Language: | English |
---|
Date of first publication: | 2021/01/01 |
---|
Publication year: | 2021 |
---|
Release date: | 2024/03/15 |
---|
Tag: | Algebraic methods; Formal modelling; Graph logic; Specification |
---|
Volume: | 118 |
---|
Article number: | 100616 |
---|
Number of pages: | 33 |
---|
Funding institution: | Spanish Ministry of Economy and Competitiveness under grant GRAMM [TIN2017-86727-C2-1-R, TIN2017-86727-C2-2-R]; European Union (FEDER funds) under grant GRAMM [TIN2017-86727-C2-1-R, TIN2017-86727-C2-2-R]; Basque Project [GIU15/30, UFI11/45] |
---|
Organizational units: | Digital Engineering Fakultät / Hasso-Plattner-Institut für Digital Engineering GmbH |
---|
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
---|
Peer review: | Referiert |
---|