IDA Calendar of Events
Vladislavs Jahundovics, TCSLAB/CUGS, IDA, presents his licentiate thesis "Automatic Verification of Parameterized Systems by Over-Approximation". Main Supervisor: Professor Ulf Nilsson. Opponent: Docent Cristina Seceleanu, Mälardalen University
Location: Alan Turing, building E, Campus Valla
See http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-121776 for further information or contact Anne Moe, email firstname.lastname@example.org, phone 013-281460.
Page responsible: Webmaster