Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Title:
Model Checking of CTL-Extended OCL Specifications
-
Authors:
Bill, Robert
Gabmeyer, Sebastian
Kaufmann, Petra
Seidl, Martina
-
Issue Date:
2014
-
Citation:
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
-
Book Title:
Software Language Engineering
-
URI:
http://hdl.handle.net/20.500.12708/55747
-
ISBN:
9783319112442
9783319112459
-
Organisation:
E194-03 - Forschungsbereich Business Informatics
-
Publication Type:
Konferenzbeitrag
de
Inproceedings
en
Appears in Collections:
Conference Paper
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
66
checked on Dec 1, 2022
Google Scholar
TM
Check