
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">

<HTML><HEAD>

<META http-equiv=Content-Type content="text/html; charset=windows-1252">

<META content="MSHTML 6.00.2600.0" name=GENERATOR>

<STYLE></STYLE>

</HEAD>

<BODY bgColor=#ffffff>

<DIV>

<H3 align=left>Seminarium (TeknLic)</H3>

<DIV align=left><FONT face=Arial size=2><A 

href="http://www.it.kth.se/visa.html?artikelid=238">http://www.it.kth.se/visa.html?artikelid=238</A></FONT></DIV>

<P align=left><B>Titel:</B> Reasoning about Side-Effect Free Erlang Code in 

Modal μ-calculus Based Verification Framework<BR><B>Respondent:</B> Gennady 

Chugunov<BR><B>Tid:</B> Fredag 14 maj 2004, 10.00<BR><B>Plats:</B> Sal D, Forum, 

Isafjordsgatan 39, Kista </P>

<P align=left> </P></DIV></BODY></HTML>