Formal specification and design of mobile systems
G.-C. Roman, Christine Julien, Qingfeng Huang · 2002
Presents the introductory welcome message from the conference proceedings. May include the conference officers' congratulations to all involved with the conference event and publication of the proceedings record.