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
Distributionen
MDPI AG
Periodika
Logics
2024
DECLAREd: A Polytime LTLf Fragment
Distribution
supplierxml.listelement.badge
DECLAREd: A Polytime LTLf Fragment
No Thumbnail Available
Format
supplierxml
Authors
Giacomo Bergami
Journal ISSN
Publisher
Dataset
No Thumbnail Available
Dataset
DECLAREd: A Polytime LTLf Fragment
(
MDPI AG
,
2024
)
Giacomo Bergami
Show more
Description
Keywords
URI
https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/10494
Full item page
Files
Original bundle
Now showing
1 - 1 of 1
No Thumbnail Available
Name:
logics-02-02-00004.xml
Size:
424.95 KB
Format:
Extensible Markup Language
Download