Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/55747
-
Titel: 
Model Checking of CTL-Extended OCL Specifications
-
Zitat: 
Bill, R., Gabmeyer, S., Kaufmann, P., & Seidl, M. (2014). Model Checking of CTL-Extended OCL Specifications. In Software Language Engineering (pp. 221–240). Springer. https://doi.org/10.1007/978-3-319-11245-9_13
-
Verlags-DOI: 
10.1007/978-3-319-11245-9_13
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Autor_innen: 
Bill, Robert 
Gabmeyer, Sebastian 
Kaufmann, Petra 
Seidl, Martina 
-
Organisations­einheit: 
E194-03 - Forschungsbereich Business Informatics 
-
Erschienen in: 
Software Language Engineering 
-
ISBN: 
978-3-319-11244-2
-
Band: 
8706
-
DOI des Buches: 
10.1007/978-3-319-11245-9
-
Datum (veröffentlicht): 
2014
-
Veranstaltungs­name: 
International Conference on Software Language Engineering (SLE) 
-
Veranstaltungs­zeitraum: 
15-Sep-2014 - 16-Sep-2014
-
Veranstaltungs­ort: 
Västeraas, EU
-
Umfang: 
20
-
Verlag: 
Springer, 8706 of Lecture Notes in Computer Science
-
Verlag: 
Springer Cham
-
Peer Reviewed: 
Ja
-
Forschungs­schwerpunkte: 
Logic and Computation: 50%
Business Informatics: 50%
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

161
aufgerufen am 23.11.2023

Google ScholarTM

Check