DaftarIsitemplate |
Call Number |
004 Int c |
Title |
The rabin index and chain automata, with applications to automata and games, (LNCS-Lecture Notes in Computer Science 939) Hal 253-266 |
Author |
Sriram C. Krishnan; Anuj Puri; Robert K. Brayton; Pravin P. Varaiya; |
Publisher |
Springer, 1995 |
Subject |
Location |