Project Seminar Formal Methods in Computer Science (SS 2007)
Jump to...
Transparencies 32 to 34 (1.5 MB)
Transparencies 35 to 37 (1.5 MB)
Transparencies 38 to 40 (1.6 MB)
Transparencies 41 to 43 (1.8 MB)
Transparencies 44 to 45 (1 MB)
Biological Processes as Concurrent Systems (Part 1)
Biological Processes as Concurrent Systems (Part 2)
Logical Aspects of Algorithm Verification
Discovering and Debugging Algebraic Specifications
Using CA Techniques (Mathematica Notebook)
Using CA Techniques (PDF)
Presentation
Slides
Tree Query and Transformation Techniques
Proving Termination
Presentation
RISC
»
FMSEM07S
»
Forums
»
News forum
» Seminar start shifted
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Seminar start shifted
by
Wolfgang Schreiner
- Monday, 12 March 2007, 11:46 AM
The seminar will start on *March 21* rather than on March 14.
Regards,
Wolfgang
Reply
