诉讼

• 阿努杰·达瓦尔，赫尔穆特·维思，编辑，计算机科学逻辑，第24届国际研讨会，CSL 2010，EACSL第19届年会，捷克共和国布尔诺，2010年8月23日至27日。诉讼。第6247卷，共页计算机科学课堂讲稿、施普林格、，2010