Items where Author is "Smolka, Scott A."Group by: Item Type | No Grouping Number of items: 1. Mukund, Madhavan ; Narayan Kumar, K. ; Smolka, Scott A. (1999) Faster model checking for open systems In: 5th Asian Computing Science Conference, 10-12 Dec 1999, Phuket, Thailand. |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level