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.
Abstract is missing.