DaftarIsitemplate

Call Number

004.33 Jos f

Title

An on-the-fly tableau construction for a real-time temporal logic, (LNCS-Lecture Notes in Computer Science 1926) Hal 276-290

Author

Marc Geilen; Dennis Dams;

Publisher

Springer, 2000

Subject

Location