DaftarIsitemplate

Call Number

004 Int c

Title

Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140

Author

Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen;

Publisher

Springer, 1995

Subject

Location