Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
DC Field
Value
Language
dc.contributor.author
Elad, Neta
-
dc.contributor.author
Rain, Sophie
-
dc.contributor.author
Immerman, Neil
-
dc.contributor.author
Sagiv, Mooly
-
dc.contributor.author
Kovacs, Laura
-
dc.contributor.editor
Silva, Alexandra
-
dc.contributor.editor
Leino, Rustan
-
dc.date.accessioned
2022-08-04T16:04:52Z
-
dc.date.available
2022-08-04T16:04:52Z
-
dc.date.issued
2021
-
dc.identifier.citation
<div class="csl-bib-body">
<div class="csl-entry">Elad, N., Rain, S., Immerman, N., Sagiv, M., & Kovacs, L. (2021). Summing up Smart Transitions. In A. Silva & R. Leino (Eds.), <i>Computer Aided Verification</i> (pp. 317–340). Springer LNCS. https://doi.org/10.1007/978-3-030-81685-8_15</div>
</div>
-
dc.identifier.isbn
9783030816858
-
dc.identifier.isbn
9783030816841
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/55683
-
dc.publisher
Springer LNCS
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Summing up Smart Transitions
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Computer Aided Verification
-
dc.relation.issn
0302-9743
-
dc.description.startpage
317
-
dc.description.endpage
340
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
12759
-
tuw.booktitle
Computer Aided Verification
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-030-81685-8_15
-
dc.description.numberOfPages
24
-
tuw.author.orcid
0000-0002-5503-5791
-
tuw.author.orcid
0000-0002-8940-4989
-
tuw.author.orcid
0000-0001-6609-5952
-
tuw.author.orcid
0000-0002-0723-1309
-
tuw.event.name
33rd International Conference on Computer Aided Verification (CAV)
-
tuw.event.startdate
20-07-2021
-
tuw.event.enddate
23-07-2021
-
tuw.event.online
Online
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Los Angeles, US
-
tuw.event.country
US
-
tuw.event.presenter
Rain, Sophie
-
tuw.presentation.online
Online
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Logic and Computation (LC)
de
wb.facultyfocus
Logic and Computation (LC)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.fulltext
no Fulltext
-
item.grantfulltext
restricted
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering