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
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.
Record link:
http://hdl.handle.net/20.500.12708/55683
-
Title:
Summing up Smart Transitions
-
Citation:
Elad, N., Rain, S., Immerman, N., Sagiv, M., & Kovacs, L. (2021). Summing up Smart Transitions. In A. Silva & R. Leino (Eds.),
Computer Aided Verification
(pp. 317–340). Springer LNCS. https://doi.org/10.1007/978-3-030-81685-8_15
-
Publisher DOI:
10.1007/978-3-030-81685-8_15
-
Publication Type:
Inproceedings - Full-Paper Contribution
en
Authors:
Elad, Neta
Rain, Sophie
Immerman, Neil
Sagiv, Mooly
Kovacs, Laura
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Published in:
Computer Aided Verification
-
Date (published):
2021
-
Event name:
33rd International Conference on Computer Aided Verification (CAV)
-
Event date:
20-Jul-2021 - 23-Jul-2021
-
Event place:
Los Angeles, US, United States of America (the)
-
Number of Pages:
24
-
Publisher:
Springer LNCS, 12759
-
Peer reviewed:
Yes
-
Research Areas:
Logic and Computation: 100%
-
Science Branch:
Informatik
-
Appears in Collections:
Conference Paper
Show full item record
Page view(s)
234
checked on Nov 23, 2023
Google Scholar
TM
Check