DaftarIsitemplate

Call Number

004.33 Jos f

Title

On refinement and temporal annotations (LNCS-Lecture Notes in Computer Science 1926) Hal 185-201

Author

Ron van der Meyden; Yoram Moses;

Publisher

Springer, 2000

Subject

Location