Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1 Publication


2004 | Published | Conference Paper | IST-REx-ID: 4555
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Trading memory for randomness,” presented at the QEST: Quantitative Evaluation of Systems, Enschede, Netherlands, 2004, pp. 206–217.
View | DOI
 

Filters and Search Terms

isbn=0769521851

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed