Vangalur S. Alagar, D. Muthiayen. Towards a mechanical verification of real-time reactive systems modeled in UML. In 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea. pages 245-254, IEEE Computer Society, 2000. [doi]
@inproceedings{AlagarM00,
title = {Towards a mechanical verification of real-time reactive systems modeled in UML},
author = {Vangalur S. Alagar and D. Muthiayen},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/rtcsa/2000/0930/00/09300245abs.htm},
tags = {UML},
researchr = {https://researchr.org/publication/AlagarM00},
cites = {0},
citedby = {0},
pages = {245-254},
booktitle = {7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea},
publisher = {IEEE Computer Society},
isbn = {0-7695-0930-4},
}