CIG meeting Person/Speaker: Wojtek Jamroga
Place: Am Regenbogen 15, CLZDuring our regular group meeting Wojtejk will refer on his CEMAS'05 paper "Do Agents Make Model Checking Explode (Computationally)?".-Wojtek Jamroga-
CIG meeting Person/Speaker: Wojtek Jamroga
Place: Am Regenbogen 15, CLZDuring our regular group meeting Wojtejk will refer on his CEMAS'05 paper "Do Agents Make Model Checking Explode (Computationally)?".-Wojtek Jamroga-