- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959772099
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
OASIcs - Open Access Series in Informatics ; Volume 95
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2021
- Contributor
-
Bernardo, Bruno
Marmsoler, Diego
- URN
-
urn:nbn:de:0030-drops-154239
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 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
- Bernardo, Bruno
- Marmsoler, Diego
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Time of origin
- 2021
Other Objects (12)
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Combinations of intelligent methods and applications : proceedings of the 3rd international workshop
3rd Huawei-IHÉS Workshop - Introduction
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
Web services and formal methods : third international workshop ; proceedings
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Formal methods in systems biology : first international workshop ; proceedings
Web services and formal methods : 4th international workshop ; proceedings
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
Reachability problems : 3rd international workshop ; proceedings
Algorithm engineering : 3rd international workshop ; proceedings
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Combinations of intelligent methods and applications : proceedings of the 3rd international workshop
3rd Huawei-IHÉS Workshop - Introduction
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
Web services and formal methods : third international workshop ; proceedings
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Formal methods in systems biology : first international workshop ; proceedings
Web services and formal methods : 4th international workshop ; proceedings
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
Reachability problems : 3rd international workshop ; proceedings
Algorithm engineering : 3rd international workshop ; proceedings
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
Combinations of intelligent methods and applications : proceedings of the 3rd international workshop
3rd Huawei-IHÉS Workshop - Introduction
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
Web services and formal methods : third international workshop ; proceedings
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Formal methods in systems biology : first international workshop ; proceedings
Web services and formal methods : 4th international workshop ; proceedings
3rd Refinement Workshop : proceedings of the 3rd Refinement Workshop, 9 - 11 January 1990, Hursley Park
2nd BCS FACS Northern Formal Methods Workshop : proceedings of the 2nd BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 14 - 15 July 1997
Reachability problems : 3rd international workshop ; proceedings