DaftarIsitemplate

Call Number

004 Int c

Title

UPPAAL: status & developments, (LNCS-Lecture Notes in Computer Science 1254) Hal 456-459

Author

Kim G Larsen; Paul Pettersson; Wang Yi;

Publisher

Springer, 1997

Subject

Location