%0 Conference Paper %1 conf/icws/DuYT15 %A Du, Yanhua %A Yang, Benyuan %A Tan, Wei %B ICWS %D 2015 %E Miller, John A. %E Zhu, Hong %I IEEE Computer Society %K dblp %P 567-574 %T A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services. %U http://dblp.uni-trier.de/db/conf/icws/icws2015.html#DuYT15 %@ 978-1-4673-7272-5

@inproceedings{conf/icws/DuYT15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Du, Yanhua and Yang, Benyuan and Tan, Wei}, biburl = {https://www.bibsonomy.org/bibtex/2a45990335a5b0bed58ae8091bb4d4d5a/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2015}, editor = {Miller, John A. and Zhu, Hong}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICWS.2015.81}, interhash = {80c2714e13e29ca2a1a3f949acbbb4de}, intrahash = {a45990335a5b0bed58ae8091bb4d4d5a}, isbn = {978-1-4673-7272-5}, keywords = {dblp}, pages = {567-574}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:31:41.000+0200}, title = {A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2015.html#DuYT15}, year = 2015 }