JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl, "Intra- and interdiagram consistency checking of behavioral multiview models" : Computer Languages, Systems & Structures 44, in Computer Languages, Systems and Structures, Vol. 44, Part A, Elsevier, Seite(n) 72-88, 12-2015, ISSN: 1477-8424
Original Titel: Intra- and interdiagram consistency checking of behavioral multiview models
Sprache des Titels: Englisch
Original Buchtitel: Computer Languages, Systems & Structures 44
Journal: Computer Languages, Systems and Structures
Veröffentlicher: Elsevier
Volume: 44, Part A
Seitenreferenz: 72-88
Erscheinungsmonat: 12
Erscheinungsjahr: 2015
ISSN: 1477-8424
Anzahl der Seiten: 17
DOI: 10.1016/j.cl.2015.08.003
Reichweite: international
Publikationstyp: Aufsatz / Paper in SCI-Expanded-Zeitschrift
Autoren: Petra Kaufmann, Martin Kronegger, Andreas Pfandler, Martina Seidl, Magdalena Widl
Forschungseinheiten: Institut für Formale Modelle und Verifikation
Wissenschaftsgebiete: Informatik (ÖSTAT:102)
Computer Hardware (ÖSTAT:202006)
Logik (ÖSTAT:603109)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum