DaftarIsitemplate

Call Number

004.33 Mal h

Title

State clock logic: a decidable real-time logic, (LNCS-Lecture Notes in Computer Science 1201) Hal 33-47

Author

Jean-Francois Raskin; Pierre-Yves Schobbens;

Publisher

Springer, 1997

Subject

Location