Ihr Suchergebnis
| Ergebnis 1 - 3 von 3 1 Gehe zu Seite von 1 | |
| 1. |
Fischer, Klaus ; Hutter, Dieter
(2002)
Proceedings of the 2nd International Workshop on Security in Mobile Multiagent Systems
Report (Bericht)
|
| 2. |
Autexier, Serge ; Hutter, Dieter
(1997)
Parameterized abstractions used for proof-planning
Kaiserslautern ; Saarbrücken : DFKI, 1997
Report (Bericht)
|
| 3. |
Hutter, Dieter
(1997)
Using rippling to prove the termination of algorithms
Kaiserslautern ; Saarbrücken : DFKI, 1997
Report (Bericht)
|
| Ergebnis 1 - 3 von 3 1 Gehe zu Seite von 1 | |