default search action
"The linear-hyper-branching spectrum of temporal logics."
Bernd Finkbeiner, Markus N. Rabe (2014)
- Bernd Finkbeiner, Markus N. Rabe:
The linear-hyper-branching spectrum of temporal logics. it Inf. Technol. 56(6): 273-279 (2014)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.