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