DaftarIsitemplate

Call Number

005.369 Ant h

Title

Symbolic controller synthesis for discrete and time systems, (LNCS-Lecture Notes in Computer Science 999)Hal. 1-20

Author

Eugene Asarin; Oded Maler; Amir Pneuli;

Publisher

Springer, 1995

Subject

Location