Items where Author is "Smolka, Scott A."

Conference or Workshop Item

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.