DaftarIsitemplate

Call Number

Title

Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking

Author

Publisher

New York: The Assoction for Computing Machinery

Subject

Location