Language
Publisher
-
All (
)
-
Free, open source (
)
5Result(s)for '" Henzinger T.A."'
Resource list
By Alur R. Henzinger T.A. in Information and Computation
ISSN:0890-5401|164|2|233-233
Academic Press(2001)
Access to resources
Favorite
16.67572
By Henzinger T.A. Kopke P.W. in Theoretical Computer Science
ISSN:0304-3975|221|1|369-392
Elsevier(1999)
Access to resources
Favorite
15.302753
By Henzinger T.A. Kupferman O. Rajamani S.K. in Information and Computation
ISSN:0890-5401|173|1|64-81
Academic Press(2002)
Access to resources
Favorite
12.981123
By Alur R. Fix L. Henzinger T.A. in Theoretical Computer Science
ISSN:0304-3975|211|1|253-273
Elsevier(1999)
Access to resources
Favorite
12.981123
By Schobbens P.-Y. Raskin J.-F. Henzinger T.A. in Theoretical Computer Science
ISSN:0304-3975|274|1|151-182
Elsevier(2002)
Access to resources
Favorite
10.659491