LTL is closed under topological closure - Research Collection

Metadata only

Author

Petric Maretić, Grgur

Dashti, Mohammad Torabi

Basin, David

Date

2014-03-31

Type

Journal Article

Citations

Cited 0 times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

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

Journal / series

Information Processing Letters

Volume

114(8)

Pages / Article No.

408 - 413

Publisher

Elsevier

Subject

Specification languages; LTL; Safety; Liveness; Büchi automata

Organisational unit

03634 - Basin, David

Notes

Received 2 May 2013, Received in revised form 28 February 2014, Accepted 1 March 2014, Available online 13 March 2014.

More

Show all metadata

Citations

Cited 0 times in Web of Science

ETH Bibliography

yes

Altmetrics