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