Meeting 報告投影片

2010 0810 姚力瑋   Models of Cognition-2

                                   Authors : Avron Barr ,Paul R. Cohen , Edward A. Feigenbaum
2010 0810 楊雅蘭   Models of Cognition-1
                                   Authors : Avron Barr ,Paul R. Cohen , Edward A. Feigenbaum
2010 0323 姚力瑋   Temporal Logics

                                   Authors : Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled

2010 0810 楊雅蘭   Model Checking CH14

                                   Authors : Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
2010 0120 楊雅蘭   Model Checking and Automata Theory

                                   Authors :  Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled
2009 1028 楊雅蘭   Model Checking

                                   Authors :  Edmund M. Clarke Jr. Orna Grumberg Doron A. Peled