Chulhong Kim, Kangho Kim, Cheoljoo Jeong, Youngbae Oh. Automatically Generating C++ Programs from LOTOS Behavior Specifications. In 5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC. pages 54-60, IEEE Computer Society, 1998. [doi]
Abstract is missing.