| DaftarIsitemplate |
| Call Number |
| SEM-253 |
| Title |
| Verifying real-time systems using parametrized timed modal specification, 123-127 |
| Author |
| Carsten Weise; |
| Publisher |
| Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995 |
| Subject |
| Location |