Algorithms for monitoring real-time properties - Research Collection

Metadata only

Author

Basin, David

Klaedtke, Felix

Zălinescu, Eugen

Date

2018-06

Type

Journal Article

Citations

Cited 2 times in Scopus

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/s00236-017-0295-4

Journal / series

Acta informatica

Volume

55(4)

Pages / Article No.

309 - 338

Publisher

Springer

Organisational unit

03634 - Basin, David / Basin, David

More

Show all metadata

Citations

Cited 2 times in Scopus

ETH Bibliography

yes

Altmetrics