Anzahl der Einträge: 1. 2007
Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph ; Minnameier, Christoph
An Approach to Modelling and Verification of Component Based Systems.
SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
In: SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings
(2007)
Berlin; Heidelberg [u.a.]
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Fri Aug 16 03:28:25 2024 CEST automatisch erstellt.
|