Ryszard Janicki, Yan Liu. On Trace Assertion Method of Module Interface Specification with Concurrency. In Wojciech Ziarko, Y. Y. Yao, editors, Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers. Volume 2005 of Lecture Notes in Computer Science, pages 632-641, Springer, 2000. [doi]
@inproceedings{JanickiL00,
title = {On Trace Assertion Method of Module Interface Specification with Concurrency},
author = {Ryszard Janicki and Yan Liu},
year = {2000},
url = {http://link.springer.de/link/service/series/0558/bibs/2005/20050632.htm},
researchr = {https://researchr.org/publication/JanickiL00},
cites = {0},
citedby = {0},
pages = {632-641},
booktitle = {Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000, Revised Papers},
editor = {Wojciech Ziarko and Y. Y. Yao},
volume = {2005},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43074-1},
}