Li Jiao. Compositional analysis for regularity, liveness and boundedness. In Joaquim Filipe, Juan Andrade-Cetto, Jean-Louis Ferrier, editors, ICINCO 2005, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD. pages 169-174, INSTICC Press, 2005.
@inproceedings{Jiao05:0,
title = {Compositional analysis for regularity, liveness and boundedness},
author = {Li Jiao},
year = {2005},
tags = {composition, analysis},
researchr = {https://researchr.org/publication/Jiao05%3A0},
cites = {0},
citedby = {0},
pages = {169-174},
booktitle = {ICINCO 2005, Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics, Barcelona, Spain, September 14-17, 2005, 4 Volumes / CD},
editor = {Joaquim Filipe and Juan Andrade-Cetto and Jean-Louis Ferrier},
publisher = {INSTICC Press},
}