A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.

MLA

Hall, Robert. “A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.” Automated Software Engineering, vol. 10, no. 2, Apr. 2003, pp. 121–55. EBSCOhost, https://doi.org/10.1023/A:1022963912112.

APA

Hall, R. (2003). A Supermodel Framework Supporting Validated Upgrading of Reactive Systems. Automated Software Engineering, 10(2), 121–155. https://doi.org/10.1023/A:1022963912112

Chicago

Hall, Robert. 2003. “A Supermodel Framework Supporting Validated Upgrading of Reactive Systems.” Automated Software Engineering 10 (2): 121–55. doi:10.1023/A:1022963912112.