<div class="csl-bib-body">
<div class="csl-entry">Bill, R., Gabmeyer, S., Kaufmann, P., & Seidl, M. (2014). Model Checking of CTL-Extended OCL Specifications. In <i>Software Language Engineering</i> (pp. 221–240). Springer. https://doi.org/10.1007/978-3-319-11245-9_13</div>
</div>
-
dc.identifier.isbn
9783319112442
-
dc.identifier.isbn
9783319112459
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/55747
-
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Model Checking of CTL-Extended OCL Specifications
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Software Language Engineering
-
dc.relation.isbn
978-3-319-11244-2
-
dc.relation.doi
10.1007/978-3-319-11245-9
-
dc.relation.issn
0302-9743
-
dc.description.startpage
221
-
dc.description.endpage
240
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
8706 of Lecture Notes in Computer Science
-
tuw.booktitle
Software Language Engineering
-
tuw.container.volume
8706
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer Cham
-
tuw.book.chapter
13
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
I6
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Business Informatics
-
tuw.researchTopic.value
50
-
tuw.researchTopic.value
50
-
tuw.publication.orgunit
E194-03 - Forschungsbereich Business Informatics
-
tuw.publisher.doi
10.1007/978-3-319-11245-9_13
-
dc.description.numberOfPages
20
-
tuw.event.name
International Conference on Software Language Engineering (SLE)