Modalities for Concurrent Game Structures
Sophie Pinchinat,Trcs Stephen, M Blackburn,Robin Garner, C J Hoffmann,Asjad M Khan,Kathryn S Mckinley,Rotem Bentzur,Daniel Feinberg,Daniel Frampton,Samuel Z Guyer,Martin Hirzel,Antony L Hosking,Maria Jump, H Lee,Thomas Vandrunen,Daniel Von Dincklage mag(2008)
AI 理解论文
溯源树
样例