- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 / Beyer, Dirk; Huisman, Marieke (Hrsg.). - Cham : Springer International Publishing, 2018. - (Lecture Notes in Computer Science ; 10806). - S. 452-456. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-319-89962-6
In: TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, TACAS 2018, 14. Apr. 2018 - 20. Apr. 2018, Thessaloniki
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
KOPS Universität Konstanz
- (when)
-
2018
- URN
-
urn:nbn:de:bsz:352-2-47to71lzthxu0
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:53 PM CET
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
Time of origin
- 2018
Other Objects (12)
Ultimate Taipan with dynamic block encoding : : (competition contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate
Ultimate Origins
Ultimate Taipan with dynamic block encoding : : (competition contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate
Ultimate Origins
Ultimate Taipan with dynamic block encoding : : (competition contribution)
Ultimate automizer and the search for perfect interpolants : : (competition contribution)
Ultimate Automizer and the Search for Perfect Interpolants : (Competition Contribution)
Ultimate Taipan with symbolic interpretation and fluid abstractions : : (competition contribution)
Encoding and attentive modulation of dynamic motion stimuli
Product market competition, ultimate controlling structure and related party transactions
Encoding high dynamic range and wide color gamut imagery
Quotas under dynamic Bertrand competition
Price dispersion in dynamic competition
Dynamic macroeconomics with imperfect competition
Ultimate taipan and race detection in ultimate