Deciding safety and liveness in TPTL - Research Collection

Metadata only

Author

Basin, David

Jimenez, Carlos Cotrini

Klaedtke, Felix

Zălinescu, Eugen

Date

2014-12

Type

Journal Article

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1016/j.ipl.2014.06.005

Journal / series

Information Processing Letters

Volume

114(12)

Pages / Article No.

680 - 688

Publisher

Elsevier

Subject

Formal methods; Real-time systems; Temporal logic; Safety and liveness; Verification; Computational complexity

Organisational unit

03634 - Basin, David

Notes

Received 30 October 2013, Received 1 April 2014, Accepted 10 June 2014, Available online 13 June 2014.

More

Show all metadata

Citations

Cited 1 times in Web of Science

ETH Bibliography

yes

Altmetrics