From Louvain Verification Lab

News: Paper accepted at iWIGP2012

Created by sbusard, at February 07, 2012

Simon Busard and Charles Pecheur had a paper accepted at IWIGP 2012.

IWIGP 2012, the International Workshop on Interactions, Games and Protocols, is co-located with ETAPS 2012 and will take place Tallinn, Estonia, in March 2012. This paper covers recent advances in the research of Simon Busard.

Tags Tags: , ,
Retrieved from
Page last modified on February 07, 2012