DyNetKAT : An Algebra of Dynamic Networks

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
In: BOUYER, Patricia, Hrsg., Lutz SCHRÖDER, Hrsg.. Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Cham: Springer International Publishing, 2022, S. 184-204. Lecture Notes in Computer Science. 13242. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-99252-1. Verfügbar unter: doi: 10.1007/978-3-030-99253-8_10

Ereignis
Veröffentlichung
(wo)
Konstanz
(wer)
KOPS Universität Konstanz
(wann)
2022
Urheber
Caltais, Georgiana
Hojjat, Hossein
Mousavi, Mohammad Reza
Tunç, Hünkar Can

URN
urn:nbn:de:bsz:352-2-vvxz9k3lo09w4
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:34 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

Entstanden

  • 2022

Ähnliche Objekte (12)