| DaftarIsitemplate |
| Call Number |
| SEM-253 |
| Title |
| Developments in hybrid systems synthesis and verfications, Hal. 141-160 |
| Author |
| Amir Pnuli; |
| Publisher |
| Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995 |
| Subject |
| Location |