Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Dokumenttyp | Erscheinungsjahr | Keine Sortierung
Springe zu: Konferenzveröffentlichung
Anzahl der Einträge: 1.

Konferenzveröffentlichung

Lambertz, Christian Exploiting Architectural Constraints and Branching Bisimulation : Equivalences in Component-Based Systems. Mousavi, MohammadReza Proceedings of Formal Methods 2009 Doctoral Symposium November 6, 2009 Eindhoven, The Netherlands 1-7 In: Proceedings of Formal Methods 2009 Doctoral Symposium : November 6, 2009 Eindhoven, The Netherlands (2009) Eindhoven [Konferenzveröffentlichung]

Diese Liste wurde am Thu Nov 21 01:23:33 2024 CET automatisch erstellt.