%0 Conference Paper %1 conf/icws/PokraevQSR06 %A Pokraev, Stanislav %A Quartel, Dick A. C. %A Steen, Maarten W. A. %A Reichert, Manfred %B ICWS %D 2006 %I IEEE Computer Society %K dblp %P 895-900 %T A Method for Formal Verification of Service Interoperability. %U http://dblp.uni-trier.de/db/conf/icws/icws2006.html#PokraevQSR06 %@ 0-7695-2669-1

@inproceedings{conf/icws/PokraevQSR06, added-at = {2015-08-20T00:00:00.000+0200}, author = {Pokraev, Stanislav and Quartel, Dick A. C. and Steen, Maarten W. A. and Reichert, Manfred}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23ee52b6a2f9b204322aa8566128b4727/dblp}, booktitle = {ICWS}, crossref = {conf/icws/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.9}, interhash = {f975f81027b99c6edcbf39f94ae88e31}, intrahash = {3ee52b6a2f9b204322aa8566128b4727}, isbn = {0-7695-2669-1}, keywords = {dblp}, pages = {895-900}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:41:07.000+0100}, title = {A Method for Formal Verification of Service Interoperability.}, url = {http://dblp.uni-trier.de/db/conf/icws/icws2006.html#PokraevQSR06}, year = 2006 }