- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
GR(1)*: GR(1) specifications extended with existential guarantees ; volume:33 ; number:4-5 ; day:5 ; month:5 ; year:2021 ; pages:729-761 ; date:8.2021
Formal aspects of computing ; 33, Heft 4-5 (5.5.2021), 729-761, 8.2021
- Creator
-
Amram, Gal
Maoz, Shahar
Pistiner, Or
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-021-00535-6
- URN
-
urn:nbn:de:101:1-2021111819344300086201
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Amram, Gal
- Maoz, Shahar
- Pistiner, Or
- SpringerLink (Online service)
Other Objects (12)
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
Registerakten GR 161 - GR 189A
Gr. Gaur. Nr. Gr 1
Güterrechtsregister (GR 1 - GR 35)
Existential-fanal
Gr
Gr
Gr
Gr
Gr
Gr
Gr
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
Registerakten GR 161 - GR 189A
Gr. Gaur. Nr. Gr 1
Güterrechtsregister (GR 1 - GR 35)
Existential-fanal
Gr
Gr
Gr
Gr
Gr
Gr
Gr
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
Registerakten GR 161 - GR 189A
Gr. Gaur. Nr. Gr 1
Güterrechtsregister (GR 1 - GR 35)
Existential-fanal
Gr
Gr
Gr
Gr
Gr
Gr