مؤتمر
UPPAAL - present and future
| العنوان: | UPPAAL - present and future |
|---|---|
| المؤلفون: | Behrmann, G., Larsen, K.G., Moller, O., David, A., Pettersson, P., Wang Yi |
| المصدر: | Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) Decision and control Decision and Control, 2001. Proceedings of the 40th IEEE Conference on. 3:2881-2886 vol.3 2001 |
| Relation: | Proceedings of 40th Conference on Decision and Control |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0780370619 9780780370616 |
|---|---|
| DOI: | 10.1109/CDC.2001.980713 |