%0 Conference Paper %1 conf/webi/WangSPG07 %A Wang, Hai H. %A Saleh, Ahmed %A Payne, Terry R. %A Gibbins, Nick %B Web Intelligence %D 2007 %I IEEE Computer Society %K dblp %P 431-434 %T Formal Specification of OWL-S with Object-Z: the Static Aspect. %U http://dblp.uni-trier.de/db/conf/webi/webi2007.html#WangSPG07 %@ 0-7695-3026-5

@inproceedings{conf/webi/WangSPG07, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wang, Hai H. and Saleh, Ahmed and Payne, Terry R. and Gibbins, Nick}, biburl = {https://www.bibsonomy.org/bibtex/26ba6494aa8d72643e8406bf5d00b18ef/dblp}, booktitle = {Web Intelligence}, crossref = {conf/webi/2007}, ee = {https://doi.ieeecomputersociety.org/10.1109/WI.2007.67}, interhash = {0edadbca1e274a745965427d7714df43}, intrahash = {6ba6494aa8d72643e8406bf5d00b18ef}, isbn = {0-7695-3026-5}, keywords = {dblp}, pages = {431-434}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:16:06.000+0200}, title = {Formal Specification of OWL-S with Object-Z: the Static Aspect.}, url = {http://dblp.uni-trier.de/db/conf/webi/webi2007.html#WangSPG07}, year = 2007 }