BibTeX record conf/wise/WangPGS07

• > Home > conf/wise/WangPGS07

@inproceedings{DBLP:conf/wise/WangPGS07,
  author       = {Hai H. Wang and
                  Terry R. Payne and
                  Nick Gibbins and
                  Ahmed Saleh},
  editor       = {Boualem Benatallah and
                  Fabio Casati and
                  Dimitrios Georgakopoulos and
                  Claudio Bartolini and
                  Wasim Sadiq and
                  Claude Godart},
  title        = {Formal Specification of {OWL-S} with Object-Z: The Dynamic Aspect},
  booktitle    = {Web Information Systems Engineering - {WISE} 2007, 8th International
                  Conference on Web Information Systems Engineering, Nancy, France,
                  December 3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4831},
  pages        = {237--248},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76993-4\_20},
  doi          = {10.1007/978-3-540-76993-4\_20},
  timestamp    = {Fri, 15 Mar 2024 12:30:44 +0100},
  biburl       = {https://dblp.org/rec/conf/wise/WangPGS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}