<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)
-
tuw.event.startdate
15-09-2014
-
tuw.event.enddate
16-09-2014
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Västeraas
-
tuw.event.place
Västeraas
-
tuw.event.country
EU
-
tuw.event.presenter
Gabmeyer, Sebastian
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.presentation.type
science to science/art to art
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
crisitem.author.dept
E207-02 - Forschungsbereich Bauphysik
-
crisitem.author.dept
E188 - Institut für Softwaretechnik und Interaktive Systeme
-
crisitem.author.dept
E188 - Institut für Softwaretechnik und Interaktive Systeme
-
crisitem.author.dept
E188 - Institut für Softwaretechnik und Interaktive Systeme
-
crisitem.author.parentorg
E207 - Institut für Werkstofftechnologie, Bauphysik und Bauökologie
