- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959773171
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
OASIcs - OpenAccess Series in Informatics ; Volume 118
- Ereignis
-
Veröffentlichung
- (wo)
-
Wadern
- (wer)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (wann)
-
2024
- Beteiligte Personen und Organisationen
-
Bernardo, Bruno
Marmsoler, Diego
- URN
-
urn:nbn:de:0030-drops-198642
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 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
- 2024
Ähnliche Objekte (12)
Web services and formal methods : 5th international workshop ; revised selected papers
Formal methods applications and technology : 11th international workshop and 5th international workshop ; revised selected papers
NASA formal methods : 5th international symposium ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal aspects in security and trust : 5th international workshop ; revised selected papers
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
5th International Probabilistic Workshop
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Web services and formal methods : 5th international workshop ; revised selected papers
Formal methods applications and technology : 11th international workshop and 5th international workshop ; revised selected papers
NASA formal methods : 5th international symposium ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal aspects in security and trust : 5th international workshop ; revised selected papers
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
5th International Probabilistic Workshop
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
Web services and formal methods : 5th international workshop ; revised selected papers
Formal methods applications and technology : 11th international workshop and 5th international workshop ; revised selected papers
NASA formal methods : 5th international symposium ; proceedings
Integrated formal methods : 5th international conference proceedings
Formal methods in computer aided design : 5th international conference ; proceedings
Formal methods for components and objects : 5th international symposium ; revised lectures
Formal aspects in security and trust : 5th international workshop ; revised selected papers
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
5th International Probabilistic Workshop
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II
BCS FACS Northern Formal Methods Workshop : proceedings of the BCS FACS Northern Formal Methods Workshop, Ilkley, UK, 23 - 24 September 1996