Tevfik Bultan et al.: Analyzing Conversations: Realizability, Synchronizability, and Verification. (2007)conf/swb/BultanFS0710.1007/978-3-540-72912-9_3Analyzing Conversations: Realizability, Synchronizability, and Verification.3Tevfik Bultan1Xiang Fu 00012Jianwen Su357-85Test and Analysis of Web ServicesTest and Analysis of Web Services2007provenance information for RDF data of dblp record 'conf/swb/BultanFS07'2024-10-06T21:15:20+0200