Ping Hang Cheung, Alessandro Forin. A C-Language Binding for PSL. In Yann-Hang Lee, Heung-Nam Kim, Jong Kim, Yongwan Park, Laurence Tianruo Yang, Sung Won Kim, editors, Embedded Software and Systems, Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings. Volume 4523 of Lecture Notes in Computer Science, pages 584-591, Springer, 2007. [doi]
Abstract is missing.