%0 Conference Paper %1 conf/icsr/DuXZ08 %A Du, Xutao %A Xing, Chunxiao %A Zhou, Lizhu %B ICSR %D 2008 %E Mei, Hong %I Springer %K dblp %P 262-265 %T Abstract Reachability Graph for Verifying Web Service Interfaces. %U http://dblp.uni-trier.de/db/conf/icsr/icsr2008.html#DuXZ08 %V 5030 %@ 978-3-540-68062-8

@inproceedings{conf/icsr/DuXZ08, added-at = {2021-10-14T00:00:00.000+0200}, author = {Du, Xutao and Xing, Chunxiao and Zhou, Lizhu}, biburl = {https://www.bibsonomy.org/bibtex/23bf80e576d355fbc7f82b85007755ef9/dblp}, booktitle = {ICSR}, crossref = {conf/icsr/2008}, editor = {Mei, Hong}, ee = {https://doi.org/10.1007/978-3-540-68073-4_26}, interhash = {506dd5d1106f99a686cf464468babf20}, intrahash = {3bf80e576d355fbc7f82b85007755ef9}, isbn = {978-3-540-68062-8}, keywords = {dblp}, pages = {262-265}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:30:23.000+0200}, title = {Abstract Reachability Graph for Verifying Web Service Interfaces.}, url = {http://dblp.uni-trier.de/db/conf/icsr/icsr2008.html#DuXZ08}, volume = 5030, year = 2008 }