%0 Conference Paper %1 conf/icws/Agarwal07 %A Agarwal, Sudhir %B ICWS %D 2007 %I IEEE Computer Society %K %P 1140-1141 %T Model Checking Expressive Web Service Descriptions. %U http://dblp.uni-trier.de/db/conf/icws/icws2007.html#Agarwal07 %@ 0-7695-2924-0

@inproceedings{conf/icws/Agarwal07, added-at = {2023-12-13T08:06:31.000+0100}, author = {Agarwal, Sudhir}, biburl = {https://www.bibsonomy.org/bibtex/27b24efc5e8db704032a22f457cc3ae5c/admin}, booktitle = {ICWS}, crossref = {conf/icws/2007}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2007.122}, interhash = {c0cac0aa0fa765c9bfb30f925f3d3abf}, intrahash = {7b24efc5e8db704032a22f457cc3ae5c}, isbn = {0-7695-2924-0}, keywords = {}, pages = {1140-1141}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:06:31.000+0100}, title = {Model Checking Expressive Web Service Descriptions.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2007.html#Agarwal07}, year = 2007 }