University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 661–690 of 1,981 items
Thumbnail for Veterinary report
Veterinary report
University of Illinois. College of Veterinary Medicine

Thumbnail for Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Verification of Simulation Models of Network Protocols Using State Space Exploration and Protocol-Specific Properties
Sobeih, Ahmed A.; d'Amorim, Marcelo; Viswanathan, Mahesh; Marinov, Darko; Hou, Jennifer C.