Inproceedings,
Automatic Service Composition via Model Checking.
Y. Feng, A. Veeramani, R. Kanagasabai, and S. Rho.APSCC, page 477-482. IEEE Computer Society, (2011)
Meta data
- BibTeX key
- conf/apscc/FengVKR11
- entry type
- inproceedings
- booktitle
- APSCC
- year
- 2011
- pages
- 477-482
- publisher
- IEEE Computer Society
- crossref
- conf/apscc/2011
- ee
- https://doi.ieeecomputersociety.org/10.1109/APSCC.2011.54
- isbn
- 978-1-4673-0206-7
- url
- http://dblp.uni-trier.de/db/conf/apscc/apscc2011.html#FengVKR11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/apscc/FengVKR11
%A Feng, Yuzhang
%A Veeramani, Anitha
%A Kanagasabai, Rajaraman
%A Rho, Seungmin
%B APSCC
%D 2011
%E Park, James J.
%E Nikolaou, Christos
%E Cao, Jiannong
%I IEEE Computer Society
%K dblp
%P 477-482
%T Automatic Service Composition via Model Checking.
%U http://dblp.uni-trier.de/db/conf/apscc/apscc2011.html#FengVKR11
%@ 978-1-4673-0206-7
@inproceedings{conf/apscc/FengVKR11,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Feng, Yuzhang and Veeramani, Anitha and Kanagasabai, Rajaraman and Rho, Seungmin},
biburl = {https://www.bibsonomy.org/bibtex/2b419315fdcb60762aef2edc9556b3334/dblp},
booktitle = {APSCC},
crossref = {conf/apscc/2011},
editor = {Park, James J. and Nikolaou, Christos and Cao, Jiannong},
ee = {https://doi.ieeecomputersociety.org/10.1109/APSCC.2011.54},
interhash = {c09f0e4c447921af7422fbc0b2a384d0},
intrahash = {b419315fdcb60762aef2edc9556b3334},
isbn = {978-1-4673-0206-7},
keywords = {dblp},
pages = {477-482},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T10:35:34.000+0200},
title = {Automatic Service Composition via Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/apscc/apscc2011.html#FengVKR11},
year = 2011
}