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

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung
Springe zu: 2009
Anzahl der Einträge: 1.

2009

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 Wed May 1 03:04:05 2024 CEST automatisch erstellt.