- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783959773171
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
OASIcs - OpenAccess Series in Informatics ; Volume 118
- Event
-
Veröffentlichung
- (where)
-
Wadern
- (who)
-
Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
- (when)
-
2024
- Contributor
-
Bernardo, Bruno
Marmsoler, Diego
- URN
-
urn:nbn:de:0030-drops-198642
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 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
- 2024
Other Objects (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
Integrated formal methods : 5th international conference proceedings
NASA formal methods : 5th international symposium ; 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
5th International Probabilistic Workshop
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
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
Web services and formal methods : third international workshop ; proceedings
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
Integrated formal methods : 5th international conference proceedings
NASA formal methods : 5th international symposium ; 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
5th International Probabilistic Workshop
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
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
Web services and formal methods : third international workshop ; proceedings
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
Integrated formal methods : 5th international conference proceedings
NASA formal methods : 5th international symposium ; 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
5th International Probabilistic Workshop
1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3 - 4 July 1997
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