8th International Conference on Hydroinformatics (12. - 16. Januar 2009, Concepcion, Chile)
Fenrich, Eva; Brodt, Andreas; Nicklas, Daniela
2009
Safety & Security Systems in Europe
Kamenik, J.; Brucke, M.
2008
Proceeding of the 16 th Internation Conference on Computer Aided Verification
CAV 04
Metzner, Alexander
2004
Proceedings of the 16th International Conference on Computer Aided Verification (CAV'04)
Metzner, A.
2004
Proceedings of the First International Workshop on Advanced Context Modelling, Reasoning and Management in conjunction with {UbiComp} 2004
Becker, Christian; Nicklas, Daniela;
2004
Janßen, Kai
1999
Nebel, Wolfgang
1998