root.skip-to-content
Log In
Log in with Shibboleth
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Browse TUstorage
Statistics
Log In
Log in with Shibboleth
Email address
Password
Log in
New user? Click here to register.
Have you forgotten your password?
Home
Public Test Area
Katalog
MDPI AG
Periodika
Logics
2024
DECLAREd: A Polytime LTLf Fragment
DECLAREd: A Polytime LTLf Fragment
Description
Toolbox-ID
jz000117-0003
Identifier(s)
https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10640
Publisher
MDPI AG
License
https://creativecommons.org/licenses/by/4.0/
Subject(s)
DDC(s)
Distribution(s)
No Thumbnail Available
Distribution
DECLAREd: A Polytime LTLf Fragment
Giacomo Bergami
Show more
No Thumbnail Available
Distribution
DECLAREd: A Polytime LTLf Fragment
Giacomo Bergami
Show more
Full item page