مؤتمر
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 |
ردمك: | 0780370619 9780780370616 |
---|---|
DOI: | 10.1109/CDC.2001.980713 |