| |
| 2000 | ||
|---|---|---|
| 2 | EE | Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Model-checking continous-time Markov chains. ACM Trans. Comput. Log. 1(1): 162-170 (2000) |
| 1996 | ||
| 1 | Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert K. Brayton: Verifying Continuous Time Markov Chains. CAV 1996: 269-276 | |
| 1 | Adnan Aziz | [1] [2] |
| 2 | Robert K. Brayton | [1] [2] |
| 3 | Vigyan Singhal | [1] [2] |