Sun Meng, Bernhard K. Aichernig, Zhang Naixiao. Coalgebraic Component Specification and Verification in RSL. In Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China. pages 424-426, IEEE Computer Society, 2005. [doi]
@inproceedings{MengAN05, title = {Coalgebraic Component Specification and Verification in RSL}, author = {Sun Meng and Bernhard K. Aichernig and Zhang Naixiao}, year = {2005}, doi = {10.1109/PDCAT.2005.100}, url = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.100}, researchr = {https://researchr.org/publication/MengAN05}, cites = {0}, citedby = {0}, pages = {424-426}, booktitle = {Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China}, publisher = {IEEE Computer Society}, isbn = {0-7695-2405-2}, }