Posts Tagged ‘Verification’
12
May
This is a dedicated page of my PhD thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems
03
Apr
Ji:I was doing my homework, and then I found a wikipedia entry about List of important publications in Computer Science. I think it is always good to see that how a successful topic was created and breakthrough was made. Apparently, not so many people can achieve even one, but it would be a pity that [...]
