Veröffentlichungen
|
2004
|
The Firing Squad Synchronization Problem With Many
Generals For One-Dimensional CA
Hubert Schmid and Thomas Worsch
3rd IFIP International Conference on Theoretical Computer
Science - Toulouse, 2004
|
|
2004
|
The ASMKeY Theorem Prover - Technical Report
Stanislas Nanchen, Hubert Schmid, Peter H. Schmitt and Robert Staerk
ETH Zürich, Theoretical Computer Science
|
|
2003
|
Verifying Abstract State Machines with ASMKeY - Demo
Stanislas Nanchen, Hubert Schmid, Peter H. Schmitt and Robert Staerk
10th International Workshop on Abstract State Machines - Taormina
|
|
2003
|
Synchronisationsprobleme für zelluläre Automaten mit
mehreren Generälen
Hubert Schmid
Diplomarbeit, Universität Karlsruhe (TH)
|
|
2002
|
Explizite Interprozedurale Abhängigkeitsgraphen
Hubert Schmid
Studienarbeit, Universität Karlsruhe (TH)
|