Abstract Interpretation of CTL Properties

Metadata only

Author

Date

2018

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Editor

Book title

Static Analysis

Journal / series

Lecture Notes in Computer Science

Volume

11002

Pages / Article No.

402 - 422

Publisher

Springer

Event

25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018

Organisational unit

03653 - Müller, Peter / Müller, Peter

More

ETH Bibliography

yes

Altmetrics

Research Collection