- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959772099
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
OASIcs - Open Access Series in Informatics ; Volume 95
- Ereignis
-
Veröffentlichung
- (wo)
-
Wadern
- (wer)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (wann)
-
2021
- Beteiligte Personen und Organisationen
-
Bernardo, Bruno
Marmsoler, Diego
- URN
-
urn:nbn:de:0030-drops-154239
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Bernardo, Bruno
- Marmsoler, Diego
- Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
Entstanden
- 2021
Ähnliche Objekte (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