Intra- and interdiagram consistency checking of behavioral multiview models

Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl

doi:10.1016/j.cl.2015.08.003

Intra- and interdiagram consistency checking of behavioral multiview models

Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl

Institute of Formal Models and Verification

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	72-88
Number of pages	17
Journal	Computer Languages, Systems and Structures
Volume	44
DOIs	https://doi.org/10.1016/j.cl.2015.08.003
Publication status	Published - Dec 2015

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.1016/j.cl.2015.08.003

Cite this

@article{15b3744457944da5991243d397f38718,

title = "Intra- and interdiagram consistency checking of behavioral multiview models",

author = "Petra Kaufmann and Martin Kronegger and Andreas Pfandler and Martina Seidl and Magdalena Widl",

year = "2015",

month = dec,

doi = "10.1016/j.cl.2015.08.003",

language = "English",

volume = "44",

pages = "72--88",

journal = "Computer Languages, Systems and Structures",

issn = "1477-8424",

publisher = "Elsevier",

}

TY - JOUR

T1 - Intra- and interdiagram consistency checking of behavioral multiview models

AU - Kaufmann, Petra

AU - Kronegger, Martin

AU - Pfandler, Andreas

AU - Seidl, Martina

AU - Widl, Magdalena

PY - 2015/12

Y1 - 2015/12

UR - https://www.scopus.com/pages/publications/84943658575

U2 - 10.1016/j.cl.2015.08.003

DO - 10.1016/j.cl.2015.08.003

M3 - Article

SN - 1477-8424

VL - 44

SP - 72

EP - 88

JO - Computer Languages, Systems and Structures

JF - Computer Languages, Systems and Structures

ER -

Intra- and interdiagram consistency checking of behavioral multiview models

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this