| Pengarang |
| Lalita Jategaonkar Jagadeesan; Carlos Puchol; James E. Von Olnhausen; |
| Judul |
| Safety property verification of esterel programs and applications to telecommunications software, (LNCS-Lecture Notes in Computer Science 939) Hal 127-140 |
| Judul Artikel |
|
| Nama Prosiding |
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995 |
| Bahasa |
| Eng |
| No. Seri |
| Lecture Notes in Computer Science 939 |
| Abstrak English |
|
| Penerbitan |
| Springer, 1995 |
| Kata Kunci |
|
| Tahun |
| 1995 |
| Subjek |
|
| No. Panggil |
| 004 Int c |