DaftarIsitemplate
Call Number
004.33 Mal h
Title
Weak refinement for modal hybrid systems, (LNCS-Lecture Notes in Computer Science 1201) Hal 316-330
Author
Carsten Weise; Dirk Lenzkes;
Publisher
Springer, 1997
Subject
Location