Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Berlin; Heidelberg [u.a.]: Springer, 20XX-
Erschienen in:Lecture notes in computer science ; .
Romanovsky, Alexander
[Herausgeber:in];
Vardanega, Tullio
[Sonstige Person, Familie und Körperschaft]
;
Ada Europe,
International Conference on Reliable Software Technologies 16 2011 Edinburgh
Buth, Bettina
[Herausgeber:in];
Rabe, Gerd
[Sonstige Person, Familie und Körperschaft];
Seyfarth, Till
[Sonstige Person, Familie und Körperschaft]
;
SAFECOMP 28 2009 Hamburg
Alpuente, María
[Herausgeber:in];
Cook, Byron
[Sonstige Person, Familie und Körperschaft];
Joubert, Christophe
[Sonstige Person, Familie und Körperschaft]
;
FMICS 14 2009 Eindhoven
Harrison, Michael D.
[Sonstige Person, Familie und Körperschaft];
Sujan, Mark-Alexander
[Sonstige Person, Familie und Körperschaft];
Harrison, Michael Douglas
[Herausgeber:in]
;
SAFECOMP 27 2008 Newcastle-upon-Tyne
Brim, Luboš
[Herausgeber:in];
Haverkort, Boudewijn
[Sonstige Person, Familie und Körperschaft];
Leucker, Martin
[Sonstige Person, Familie und Körperschaft];
Pol, Jaco van de
[Sonstige Person, Familie und Körperschaft]
;
International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn,
PDMC 5 2006 Bonn
Cofer, Darren
[Herausgeber:in];
Fantechi, Alessandro
[Sonstige Person, Familie und Körperschaft]
;
European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems,
FMICS 13 2008 L'Aquila
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Saarbrücken [u.a.], 2009
Brim, Luboš
[Sonstige Person, Familie und Körperschaft];
Haverkort, Boudewijn
[Sonstige Person, Familie und Körperschaft];
Leucker, Martin
[Sonstige Person, Familie und Körperschaft];
Pol, Jaco van de
[Sonstige Person, Familie und Körperschaft]
Alpuente, María
[Verfasser:in]
;
Cook, Byron
[Sonstige Person, Familie und Körperschaft];
Joubert, Christophe
[Sonstige Person, Familie und Körperschaft]