Items where Author is "D’Souza, Deepak"Group by: Item Type | No Grouping Number of items: 1. D’Souza, Deepak ; Mukund, Madhavan (2003) Checking consistency of SDL+MSC specifications In: 10th International SPIN Workshop on Model Checking of Software, 09-10 May 2003, Portland, Oregon. |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level