Changes between Initial Version and Version 1 of Events/ACPN2010

Timestamp:

Sep 14, 2010, 6:56:48 PM (14 years ago)

Author:

Eva Müller

Comment:

--

Events/ACPN2010

@@ +1 @@
+= '''Monday: Sep, 13th 2010''' =
+== Lectures by ==
+'''Wojciech Penzeck (Warsaw, Poland)'''[[br]][[br]]
+
+{{{#!th rowspan=2 align=left border=0
+[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/wojtek.jpg)]]
+}}}
+{{{#!th rowspan=2 align=left border=0
+- Introduction to state space-based verification
+- Formal modelling of protocols: Petri nets and automata
+- 
+}}}
+
+and '''Lars M. Kristensen (Bergen, Norway)'''
+
+{{{#!th rowspan=2 align=left border=0
+[[Image(https://tgi15.informatik.uni-hamburg.de/_eva/acpn2010/larsmkristensen.jpg)]]
+}}}
+{{{#!th rowspan=2 align=left border=0
+- 
+}}}