Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei-Tek Tsai. Sequence specification for concurrent object-oriented applications. In 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA. pages 163-170, IEEE Computer Society, 1997. [doi]
@inproceedings{WangVT97,
title = {Sequence specification for concurrent object-oriented applications},
author = {Yamin Wang and Ramakrishna V. Vishnuvajjala and Wei-Tek Tsai},
year = {1997},
doi = {10.1109/WORDS.1997.609949},
url = {http://doi.ieeecomputersociety.org/10.1109/WORDS.1997.609949},
researchr = {https://researchr.org/publication/WangVT97},
cites = {0},
citedby = {0},
pages = {163-170},
booktitle = {3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 5-7 February 1997, Newport Beach, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-8186-8046-6},
}