UiO University of Oslo

INF3230 - Formal modeling and analysis of communicating systems

Semester page for INF3230 - Spring 2008

Teachers

Peter Csaba ?lveczky University of Oslo

Gruppel?rer/Teaching Assistant

Cristian Prisacariu

Kompendium/Lecture Notes

The entire lecture notes as of Mar 14 (Chapters 1 to 7 are updated, but almost nothing will change in the rest)

Contact us

Administration and teachers

Messages

Finally (sorry for the delay), �� Apr. 30, 2008 2:47 PM
The lecture notes are now �� Jan. 30, 2008 2:11 PM
Kompendiet er enn? ikke helt �� Jan. 8, 2008 1:21 PM

See more messages