University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 4681–4710 of 12,842 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Sufficient Completeness Checking with Propositional Tree Automata
Sufficient Completeness Checking with Propositional Tree Automata
Hendrix, Joe; Ohsaki, Hitoshi; Meseguer, José

Thumbnail for Spinning instability of gaseous detonations
Spinning instability of gaseous detonations
Kasimov, Aslan R.; Stewart, D. Scott