Thanh Phuong Nguyen, Ngoc Binh Nguyen. A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA). In Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, Hanoï Vietnam, 2-5 Février 2004. pages 87-98, 2004. [doi]
@inproceedings{NguyenN04a,
title = {A Specification for Underground Tank Monitoring System (UTMS) Using Real-Time Process Algebra (RTPA)},
author = {Thanh Phuong Nguyen and Ngoc Binh Nguyen},
year = {2004},
url = {http://e-ifi.org/rivf/2004/proceedings/ArticlesRIVR_04/p87-98.pdf},
tags = {process monitoring, process algebra, algebraic specification, algebra},
researchr = {https://researchr.org/publication/NguyenN04a},
cites = {0},
citedby = {0},
pages = {87-98},
booktitle = {Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, Hanoï Vietnam, 2-5 Février 2004},
}