DaftarIsitemplate

Call Number

004.33 Mal h

Title

A case study in timed CSP: The railroad crossing problem, (LNCS-Lecture Notes in Computer Science 1201) Hal 69-74

Author

Luming Lai; Phil Watson;

Publisher

Springer, 1997

Subject

Location