University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1081–1110 of 5,826 items
Thumbnail for Sufficient Completeness Checking with Propositional Tree Automata
Sufficient Completeness Checking with Propositional Tree Automata
Hendrix, Joe; Ohsaki, Hitoshi; Meseguer, José

Thumbnail for Twenty-fourth annual report of the Power Affiliates Program.
Twenty-fourth annual report of the Power Affiliates Program.
Chapman, Patrick L.; Gross, George; Helm, M.S.; Krein, P.T.; Kimball, Jonathan; Overbye, T.J.; Pai, M.A.; Sauer, P.W.