University of Illinois at Urbana-Champaign

Verification of linear-time properties for finite probabilistic systems

Kini, Dileep Raghunath

Loading…

Permalink

Description

Owning Collections

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science