Farn Wang. Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states. In Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea. pages 106, IEEE Computer Society, 1996. [doi]
@inproceedings{Wang96:16,
title = {Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states},
author = {Farn Wang},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/rtcsa/1996/7626/00/76260106abs.htm},
tags = {composition},
researchr = {https://researchr.org/publication/Wang96%3A16},
cites = {0},
citedby = {0},
pages = {106},
booktitle = {Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea},
publisher = {IEEE Computer Society},
}