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