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


1996 | Published | Conference Paper | IST-REx-ID: 11804
M. H. Henzinger and J. A. Telle, “Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning,” in 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, 1996, vol. 1097, pp. 16–27.
View | DOI
 

Filters and Search Terms

isbn=9783540614227

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed